let
type_char = make_c_type (
Tbuiltin
Tchar
)