extern type_t *type_void;
extern type_t *type_char_ptr;
+extern type_t *type_char_ptr_restrict;
extern type_t *type_const_char_ptr;
+extern type_t *type_const_char_ptr_restrict;
extern type_t *type_int_ptr;
extern type_t *type_long_long_ptr;
extern type_t *type_long_ptr;
extern type_t *type_short_ptr;
extern type_t *type_signed_char_ptr;
extern type_t *type_void_ptr;
+extern type_t *type_const_void;
+extern type_t *type_const_void_ptr;
+extern type_t *type_void_ptr_restrict;
+extern type_t *type_const_void_ptr_restrict;
extern type_t *type_char_ptr_ptr;