val* NEW_ropes__ConcatNode(const struct type* type);
extern const struct type type_ropes__ConcatNode;
extern const int COLOR_ropes__ConcatNode__init;
-void CHECK_NEW_ropes__ConcatNode(val*);
extern const int COLOR_ropes__Rope__parent_node_61d;
void ropes__Rope__init(val* self);
extern const int COLOR_ropes__Rope__parent_node;
val* NEW_ropes__LeafNode(const struct type* type);
extern const struct type type_ropes__LeafNode;
extern const int COLOR_ropes__LeafNode__init;
-void CHECK_NEW_ropes__LeafNode(val*);
extern const int COLOR_ropes__ConcatNode__right_child_61d;
extern const int COLOR_ropes__ConcatNode__update_data;
void ropes__Rope__with_string(val* self, val* p0);
val* NEW_ropes__CharRopeView(const struct type* type);
extern const struct type type_ropes__CharRopeView;
extern const int COLOR_ropes__CharRopeView__init;
-void CHECK_NEW_ropes__CharRopeView(val*);
val* ropes__Rope__chars(val* self);
extern const int COLOR_ropes__RopeNode__length;
long ropes__Rope__length(val* self);
val* NEW_ropes__DFSRopeLeafIterator(const struct type* type);
extern const struct type type_ropes__DFSRopeLeafIterator;
extern const int COLOR_ropes__DFSRopeLeafIterator__init;
-void CHECK_NEW_ropes__DFSRopeLeafIterator(val*);
extern const int COLOR_abstract_collection__Iterator__is_ok;
extern const int COLOR_abstract_collection__Iterator__item;
extern const int COLOR_ropes__LeafNode__value;
val* NEW_list__List(const struct type* type);
extern const struct type type_list__Listropes__TupleVisitNode;
extern const int COLOR_list__List__init;
-void CHECK_NEW_list__List(val*);
val* NEW_ropes__TupleVisitNode(const struct type* type);
extern const struct type type_ropes__TupleVisitNode;
extern const int COLOR_ropes__TupleVisitNode__init;
-void CHECK_NEW_ropes__TupleVisitNode(val*);
extern const int COLOR_ropes__ConcatNode__left_child;
extern const int COLOR_ropes__TupleVisitNode__left_visited_61d;
extern const int COLOR_ropes__ConcatNode__right_child;
val* NEW_ropes__TupleLeafNodePos(const struct type* type);
extern const struct type type_ropes__TupleLeafNodePos;
extern const int COLOR_ropes__TupleLeafNodePos__init;
-void CHECK_NEW_ropes__TupleLeafNodePos(val*);
val* ropes__Rope__get_node_for_pos(val* self, long p0);
val* NEW_ropes__BufferRope(const struct type* type);
extern const struct type type_ropes__BufferRope;
extern const int COLOR_ropes__BufferRope__init;
-void CHECK_NEW_ropes__BufferRope(val*);
extern const int COLOR_ropes__BufferRope__append;
val* ropes__Rope___43d(val* self, val* p0);
extern const int COLOR_ropes__Rope__iterator;
val* NEW_range__Range(const struct type* type);
extern const struct type type_range__Rangekernel__Int;
extern const int COLOR_range__Range__init;
-void CHECK_NEW_range__Range(val*);
val* ropes__Rope___42d(val* self, long p0);
val* ropes__Rope__iterator(val* self);
extern const int COLOR_ropes__DFSRopeLeafIterator__with_index;
val* NEW_ropes__RopeCharIterator(const struct type* type);
extern const struct type type_ropes__RopeCharIterator;
extern const int COLOR_ropes__RopeCharIterator__init;
-void CHECK_NEW_ropes__RopeCharIterator(val*);
extern const int COLOR_abstract_collection__SequenceRead___91d_93d;
short int ropes__Rope___61d_61d(val* self, val* p0);
extern const int COLOR_kernel__Comparable_VTOTHER;
val* NEW_string__Buffer(const struct type* type);
extern const struct type type_string__Buffer;
extern const int COLOR_string__Buffer__with_capacity;
-void CHECK_NEW_string__Buffer(val*);
extern const int COLOR_abstract_collection__SimpleCollection__add;
extern const int COLOR_ropes__BufferRope__is_dirty;
extern const int COLOR_ropes__BufferRope__is_dirty_61d;
val* NEW_ropes__ImmutableRope(const struct type* type);
extern const struct type type_ropes__ImmutableRope;
extern const int COLOR_ropes__ImmutableRope__init;
-void CHECK_NEW_ropes__ImmutableRope(val*);
extern const int COLOR_ropes__Rope__str_representation_61d;
val* ropes__BufferRope__freeze(val* self);
val* ropes__BufferRope__to_immutable(val* self);