+#define COLOR_core__Collection__poset__POSet___35dE 6
+#define COLOR_core__array__Collection__to_a 21
+void core___core__Comparator___sort(val* self, val* p0);
+val* poset___poset__POSet___sub(val* self, val* p0);
+#define COLOR_core__kernel__Object__SELF 1
+val* NEW_poset__POSet(const struct type* type);
+#define COLOR_poset__POSet__poset__POSet___35dE 7
+val* poset___poset__POSet___core__abstract_collection__Collection__iterator(val* self);
+val* poset___poset__POSet____91d_93d(val* self, val* p0);
+val* poset___poset__POSetElement___greaters(val* self);
+void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
+extern const struct type type_poset__POSet__nullable__core__Object;
+short int core___core__Collection___has_exactly(val* self, val* p0);
+val* core___core__HashMap___core__abstract_collection__MapRead__iterator(val* self);
+#define COLOR_core__abstract_collection__MapIterator__is_ok 12
+#define COLOR_core__abstract_collection__MapIterator__key 13
+#define COLOR_core__abstract_collection__MapIterator__item 14
+val* poset___poset__POSetElement___direct_greaters(val* self);
+#define COLOR_core__abstract_collection__MapIterator__next 15
+long poset___poset__POSet___core__kernel__Object__hash(val* self);
+#define COLOR_core__kernel__Object__hash 8
+extern const struct type type_core__Int;
+extern const char FILE_core__kernel[];
+#define COLOR_core__abstract_collection__Collection__length 22