val* NEW_poset__POSet(const struct type* type);
extern const struct type type_poset__POSetmodel__MType;
extern const int COLOR_poset__POSet__init;
-void CHECK_NEW_poset__POSet(val*);
extern const int COLOR_abstract_collection__Collection__iterator;
extern const int COLOR_abstract_collection__Iterator__is_ok;
extern const int COLOR_abstract_collection__Iterator__item;
void layout_builders__TypingBMizer__poset_builder_61d(val* self, val* p0);
extern const int COLOR_layout_builders__TypingBMizer___64dposet_cache;
val* layout_builders__TypingBMizer__poset_cache(val* self);
-extern const int COLOR_poset__POSetlayout_builders__TypingBMizer_FT0;
+extern const int COLOR_nullable_poset__POSetlayout_builders__TypingBMizer_FT0;
void layout_builders__TypingBMizer__poset_cache_61d(val* self, val* p0);
extern const int COLOR_layout_builders__TypingBMizer__mmodule_61d;
extern const int COLOR_layout_builders__TypingBMizer__poset_builder_61d;
extern const int COLOR_abstract_collection__Setlayout_builders__TypingBMizer_FT0;
val* NEW_layout_builders__Layout(const struct type* type);
extern const int COLOR_layout_builders__Layoutlayout_builders__TypingBMizer_FT0;
-void CHECK_NEW_layout_builders__Layout(val*);
val* NEW_hash_collection__HashMap(const struct type* type);
extern const int COLOR_hash_collection__HashMaplayout_builders__TypingBMizer_FT0kernel__Int;
extern const int COLOR_hash_collection__HashMap__init;
-void CHECK_NEW_hash_collection__HashMap(val*);
extern const int COLOR_layout_builders__TypingBMizer__poset_builder;
extern const int COLOR_layout_builders__POSetBuilder__build_poset;
extern const int COLOR_layout_builders__TypingBMizer__poset_cache_61d;
extern const int COLOR_array__Collection__to_a;
extern const int COLOR_sorter__AbstractSorter__sort;
extern const int COLOR_abstract_collection__MapRead__length;
+val* BOX_kernel__Int(long);
extern const int COLOR_abstract_collection__Map___91d_93d_61d;
extern const int COLOR_layout_builders__Layout__ids_61d;
extern const int COLOR_layout_builders__Layout__pos_61d;
val* NEW_layout_builders__MTypePOSetBuilder(const struct type* type);
extern const struct type type_layout_builders__MTypePOSetBuilder;
extern const int COLOR_layout_builders__POSetBuilder__init;
-void CHECK_NEW_layout_builders__MTypePOSetBuilder(val*);
extern const int COLOR_layout_builders__TypingBMizer__init;
void layout_builders__MTypeBMizer__init(val* self, val* p0);
val* NEW_layout_builders__MClassPOSetBuilder(const struct type* type);
extern const struct type type_layout_builders__MClassPOSetBuilder;
-void CHECK_NEW_layout_builders__MClassPOSetBuilder(val*);
void layout_builders__MClassBMizer__init(val* self, val* p0);
void layout_builders__ResolutionBMizer__init(val* self);
extern const struct type type_layout_builders__Layoutmodel__MType;
val* NEW_array__Array(const struct type* type);
extern const struct type type_array__Arraymodel__MClass;
extern const int COLOR_array__Array__init;
-void CHECK_NEW_array__Array(val*);
extern const int COLOR_abstract_collection__MapRead__keys;
extern const int COLOR_abstract_collection__SimpleCollection__add_all;
extern const int COLOR_layout_builders__MPropertyBMizer__mmodule;
void layout_builders__TypingColorer__poset_builder_61d(val* self, val* p0);
extern const int COLOR_layout_builders__TypingColorer___64dposet_cache;
val* layout_builders__TypingColorer__poset_cache(val* self);
-extern const int COLOR_poset__POSetlayout_builders__TypingColorer_FT0;
+extern const int COLOR_nullable_poset__POSetlayout_builders__TypingColorer_FT0;
void layout_builders__TypingColorer__poset_cache_61d(val* self, val* p0);
extern const int COLOR_layout_builders__TypingColorer__mmodule_61d;
extern const int COLOR_layout_builders__TypingColorer__poset_builder_61d;
val* NEW_hash_collection__HashSet(const struct type* type);
extern const int COLOR_hash_collection__HashSetlayout_builders__TypingColorer_FT0;
extern const int COLOR_hash_collection__HashSet__init;
-void CHECK_NEW_hash_collection__HashSet(val*);
void layout_builders__TypingColorer__build_conflicts_graph(val* self);
extern const int COLOR_layout_builders__TypingColorer___64dconflicts_graph;
val* layout_builders__TypingColorer__conflicts_graph(val* self);
-extern const int COLOR_hash_collection__HashMaplayout_builders__TypingColorer_FT0abstract_collection__Setlayout_builders__TypingColorer_FT0;
+extern const int COLOR_nullable_hash_collection__HashMaplayout_builders__TypingColorer_FT0abstract_collection__Setlayout_builders__TypingColorer_FT0;
void layout_builders__TypingColorer__conflicts_graph_61d(val* self, val* p0);
extern const int COLOR_layout_builders__TypingColorer___64dlinear_extensions_cache;
val* layout_builders__TypingColorer__linear_extensions_cache(val* self);
val* NEW_list__List(const struct type* type);
extern const struct type type_list__Listkernel__Int;
extern const int COLOR_list__List__init;
-void CHECK_NEW_list__List(val*);
extern const int COLOR_layout_builders__PerfectHasher__operator;
extern const int COLOR_layout_builders__PHOperator__op;
long layout_builders__PerfectHasher__compute_mask(val* self, val* p0, val* p1);
void layout_builders__TypingHasher__poset_builder_61d(val* self, val* p0);
extern const int COLOR_layout_builders__TypingHasher___64dposet_cache;
val* layout_builders__TypingHasher__poset_cache(val* self);
-extern const int COLOR_poset__POSetlayout_builders__TypingHasher_FT0;
+extern const int COLOR_nullable_poset__POSetlayout_builders__TypingHasher_FT0;
void layout_builders__TypingHasher__poset_cache_61d(val* self, val* p0);
extern const int COLOR_layout_builders__PerfectHasher__init;
extern const int COLOR_layout_builders__PerfectHasher__operator_61d;
val* NEW_layout_builders__PHLayout(const struct type* type);
extern const int COLOR_layout_builders__PHLayoutlayout_builders__TypingHasher_FT0layout_builders__TypingHasher_FT0;
extern const int COLOR_layout_builders__PHLayout__init;
-void CHECK_NEW_layout_builders__PHLayout(val*);
extern const int COLOR_layout_builders__TypingHasher__build_conflicts;
extern const int COLOR_layout_builders__TypingHasher__compute_ids;
extern const int COLOR_layout_builders__Layout__ids;