+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);