let
type_short = make_c_type (
Tbuiltin
Tshort
)