-#define COLOR_poset__POSetposet__POSetElement_FT0 1
-#define COLOR_poset__POSetElement_FT0 2
-#define COLOR_poset__POSetElement___poset 0
-#define COLOR_poset__POSetElement___element 1
-#define COLOR_poset__POSetElement___count 6
+#define COLOR_poset__POSetElement__poset_61d 32
+#define COLOR_poset__POSetElement__element_61d 34
+#define COLOR_poset__POSetElement__count_61d 40
+#define COLOR_kernel__Object__init 7