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;