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"