let type_unsigned_short = make_c_type (Tbuiltin Tushort)