let type_int = make_c_type (Tbuiltin Tint)