val* NEW_string__Buffer(const struct type* type);
extern const struct type type_string__Buffer;
extern const int COLOR_string__Buffer__init;
-void CHECK_NEW_string__Buffer(val*);
extern const int COLOR_abstract_collection__Sequence__append;
extern const int COLOR_abstract_collection__Collection__iterator;
extern const int COLOR_abstract_collection__Iterator__is_ok;
extern const int COLOR_abstract_collection__Iterator__item;
+val* BOX_kernel__Char(char);
extern const int COLOR_abstract_collection__SimpleCollection__add;
extern const int COLOR_abstract_collection__Iterator__next;
extern const int COLOR_abstract_collection__Collection__length;
extern const struct type type_stream__FDIStream;
long exec__NativeProcess__out_fd(void* self);
extern const int COLOR_stream__FDIStream__init;
-void CHECK_NEW_stream__FDIStream(val*);
extern const int COLOR_exec__IProcess__stream_in_61d;
void exec__IProcess__init(val* self, val* p0, val* p1);
void exec__IProcess__init_(val* self, val* p0);
extern const struct type type_stream__FDOStream;
long exec__NativeProcess__in_fd(void* self);
extern const int COLOR_stream__FDOStream__init;
-void CHECK_NEW_stream__FDOStream(val*);
extern const int COLOR_exec__OProcess__stream_out_61d;
void exec__OProcess__init(val* self, val* p0, val* p1);
void exec__OProcess__init_(val* self, val* p0);