extern const int COLOR_poset__POSetElementposet__POSet_FT0;
extern const int COLOR_abstract_collection__MapRead__length;
extern const int COLOR_poset__POSetElement__init;
-void CHECK_NEW_poset__POSetElement(val*);
extern const int COLOR_poset__POSetElement__tos;
extern const int COLOR_abstract_collection__SimpleCollection__add;
extern const int COLOR_poset__POSetElement__froms;
val* NEW_array__NativeArray(int length, const struct type* type);
extern const struct type type_array__NativeArraystring__String;
extern const int COLOR_array__Array__with_native;
-void CHECK_NEW_array__Array(val*);
extern const int COLOR_exec__OProcess__init;
-void CHECK_NEW_exec__OProcess(val*);
extern const int COLOR_stream__OStream__write;
extern const struct type type_array__Arraykernel__Object;
extern const struct type type_array__NativeArraykernel__Object;
extern const int COLOR_poset__POSetElement__element;
extern const int COLOR_kernel__Object___33d_61d;
short int poset__POSetElement___60d(val* self, val* p0);
+extern const int COLOR_poset__POSetElement__direct_greaters;
+extern const int COLOR_abstract_collection__Collection__is_empty;
+extern const int COLOR_poset__POSetElement__poset;
+extern const int COLOR_poset__POSet___91d_93d;
+extern const int COLOR_poset__POSetElement__depth;
+extern const struct type type_kernel__Int;
+long poset__POSetElement__depth(val* self);
void poset__POSetElement__init(val* self, val* p0, val* p1, long p2);