+ type_char_ptr_ptr = make_pointer_type(type_char_ptr, TYPE_QUALIFIER_NONE);
+
+ /* const character types */
+ type_const_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_CONST);
+ type_const_char_ptr = make_pointer_type(type_const_char, TYPE_QUALIFIER_NONE);
+ type_const_char_ptr_restrict = make_pointer_type(type_const_char, TYPE_QUALIFIER_RESTRICT);
+
+ /* other types */
+ type_intmax_t = type_long_long;
+ type_size_t = type_unsigned_long;
+ type_ssize_t = type_long;
+ type_ptrdiff_t = type_long;
+ type_uintmax_t = type_unsigned_long_long;
+ type_uptrdiff_t = type_unsigned_long;
+ type_wchar_t = make_atomic_type(wchar_atomic_kind, TYPE_QUALIFIER_NONE);
+ type_wint_t = type_int;
+ type_const_wchar_t
+ = make_atomic_type(wchar_atomic_kind, TYPE_QUALIFIER_CONST);
+
+ type_intmax_t_ptr = make_pointer_type(type_intmax_t, TYPE_QUALIFIER_NONE);
+ type_ptrdiff_t_ptr = make_pointer_type(type_ptrdiff_t, TYPE_QUALIFIER_NONE);
+ type_ssize_t_ptr = make_pointer_type(type_ssize_t, TYPE_QUALIFIER_NONE);
+ type_wchar_t_ptr = make_pointer_type(type_wchar_t, TYPE_QUALIFIER_NONE);
+ type_const_wchar_t_ptr
+ = make_pointer_type(type_const_wchar_t, TYPE_QUALIFIER_NONE);