let
type_int = make_c_type (
Tbuiltin
Tint
)