let print_builtin_type = function
Tchar -> "char" | Tschar -> "signed char" | Tuchar -> "unsigned char"
| Tshort -> "short" | Tushort -> "unsigned short"
| Tint -> "int" | Tuint -> "unsigned int"
| Tlong -> "long" | Tulong -> "unsigned long"
| Tlonglong -> "long long" | Tulonglong -> "unsigned long long"
| Tfloat -> "float" | Tdouble -> "double" | Tlongdouble -> "long double"