let type_void = make_c_type (Tvoid)