let type_signed_char = make_c_type (Tbuiltin Tschar)