* gdbtypes.h (builtin_type_true_char, builtin_type_void,