let type_short = make_c_type (Tbuiltin Tshort)