let pp_print_builtin_typespec ppf = function
    Void -> pp_print_string ppf "void"
  | Char -> pp_print_string ppf "char"
  | Short -> pp_print_string ppf "short"
  | Int -> pp_print_string ppf "int"
  | Long -> pp_print_string ppf "long"
  | Float -> pp_print_string ppf "float"
  | Double -> pp_print_string ppf "double"
  | Signed -> pp_print_string ppf "signed"
  | Unsigned -> pp_print_string ppf "unsigned"