let
type_double = make_c_type (
Tbuiltin
Tdouble
)