let type_char = make_c_type (Tbuiltin Tchar)