#define COLOR_core__abstract_collection__Iterator__item 13
val* poset___poset__POSet____91d_93d(val* self, val* p0);
val* poset___poset__POSetElement___direct_greaters(val* self);
-#define COLOR_core__abstract_collection__Collection__length 19
+#define COLOR_core__abstract_collection__Collection__length 22
extern const struct type type_core__Int;
extern const char FILE_core__kernel[];
val* poset___poset__POSetElement___greaters(val* self);
void core___core__HashSet___core__abstract_collection__RemovableCollection__remove(val* self, val* p0);
#define COLOR_nitc__POSetConflictGraph___35dE 4
val* poset___poset__POSetElement___direct_smallers(val* self);
-#define COLOR_core__abstract_collection__Collection__iterator 21
+#define COLOR_core__abstract_collection__Collection__iterator 24
short int core___core__HashSet___core__abstract_collection__Collection__has(val* self, val* p0);
void core___core__HashMap___core__abstract_collection__Map__clear(val* self);
void nitc___nitc__POSetConflictGraph___add_conflicts(val* self, val* p0);
void core___core__HashSet___core__kernel__Object__init(val* self);
void core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
val* core___core__HashMap___core__abstract_collection__MapRead___91d_93d(val* self, val* p0);
-#define COLOR_core__abstract_collection__SimpleCollection__add 45
+#define COLOR_core__abstract_collection__SimpleCollection__add 49
#define COLOR_core__Collection__nitc__POSetConflictGraph___35dE 5
void nitc___nitc__POSetConflictGraph___add_conflict(val* self, val* p0, val* p1);
val* NEW_nitc__POSetConflictGraph(const struct type* type);
-#define COLOR_nitc__POSetConflictGraph__poset__POSet___35dE 6
+#define COLOR_nitc__POSetConflictGraph__poset__POSet___35dE 8
#define COLOR_nitc__coloring__POSetConflictGraph__poset_61d 13
#define COLOR_core__kernel__Object__init 0
#define COLOR_nitc__coloring__POSetColorer___is_colored 0
#define COLOR_core__Array__nullable__nitc__POSetGroupColorer___35dE 6
void core___core__Array___core__kernel__Object__init(val* self);
val* nitc___nitc__POSetGroupColorer___poset(val* self);
-#define COLOR_core__abstract_collection__MapRead__get_or_null 19
+#define COLOR_core__abstract_collection__MapRead__get_or_null 20
#define COLOR_core__kernel__Object___61d_61d 4
val* nitc___nitc__POSetGroupColorer___colors(val* self);
#define COLOR_core__abstract_collection__MapRead___91d_93d 15
val* core___core__Array___core__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
val* NEW_core__NativeArray(int length, const struct type* type);
extern const struct type type_core__NativeArray__core__String;
-val* core__flat___NativeString___to_s_full(char* self, long p0, long p1);
+val* core__flat___CString___to_s_unsafe(char* self, val* p0, val* p1, val* p2, val* p3);
#define COLOR_core__abstract_text__Object__to_s 3
val* core__flat___Int___core__abstract_text__Object__to_s(long self);
#define COLOR_core__abstract_text__NativeArray__native_to_s 12
long nitc___nitc__POSetGroupColorer___next_free_color(val* self, long p0, val* p1);
#define COLOR_nitc__coloring__POSetGroupColorer___min_colors 6
#define COLOR_core__Set__nitc__POSetGroupColorer___35dH 7
-#define COLOR_core__abstract_collection__Collection__has 23
+#define COLOR_core__abstract_collection__Collection__has 27
#define COLOR_core__Collection__nitc__POSetGroupColorer___35dH 8
#define COLOR_nitc___nitc__POSetGroupColorer___core__kernel__Object__init 27
#define COLOR_nitc__coloring__BucketsColorer___colors 0
#define COLOR_nitc__coloring__POSetBucketsColorer___conflicts 2
#define COLOR_core__Map__nitc__POSetBucketsColorer___35dH__core__Set__nitc__POSetBucketsColorer___35dH 2
#define COLOR_core__Map__nitc__POSetBucketsColorer___35dH__core__Set__nitc__POSetBucketsColorer___35dE 3
-#define COLOR_core__abstract_collection__MapRead__keys 17
+#define COLOR_core__abstract_collection__MapRead__keys 16
long nitc___nitc__POSetBucketsColorer___min_color(val* self, val* p0, val* p1);
short int nitc___nitc__POSetBucketsColorer___is_color_free(val* self, long p0, val* p1, val* p2);
#define COLOR_core__Collection__nitc__POSetBucketsColorer___35dH 4