let
type_void = make_c_type (
Tvoid
)