-typedef void (* abstract_collection___RemovableCollection___clear_t)(val_t self);
-void abstract_collection___RemovableCollection___clear(val_t self);
-#define LOCATE_abstract_collection___RemovableCollection___clear "abstract_collection::RemovableCollection::clear"
-typedef void (* abstract_collection___RemovableCollection___remove_t)(val_t self, val_t param0);
-void abstract_collection___RemovableCollection___remove(val_t self, val_t param0);
-#define LOCATE_abstract_collection___RemovableCollection___remove "abstract_collection::RemovableCollection::remove"
-typedef void (* abstract_collection___RemovableCollection___remove_all_t)(val_t self, val_t param0);
-void abstract_collection___RemovableCollection___remove_all(val_t self, val_t param0);
-#define LOCATE_abstract_collection___RemovableCollection___remove_all "abstract_collection::RemovableCollection::remove_all"
-typedef void (* abstract_collection___SimpleCollection___add_t)(val_t self, val_t param0);
-void abstract_collection___SimpleCollection___add(val_t self, val_t param0);
-#define LOCATE_abstract_collection___SimpleCollection___add "abstract_collection::SimpleCollection::add"
-typedef void (* abstract_collection___SimpleCollection___add_all_t)(val_t self, val_t param0);
-void abstract_collection___SimpleCollection___add_all(val_t self, val_t param0);
-#define LOCATE_abstract_collection___SimpleCollection___add_all "abstract_collection::SimpleCollection::add_all"
-typedef val_t (* abstract_collection___Set___has_only_t)(val_t self, val_t param0);
-val_t abstract_collection___Set___has_only(val_t self, val_t param0);
-#define LOCATE_abstract_collection___Set___has_only "abstract_collection::Set::(abstract_collection::Collection::has_only)"
-typedef val_t (* abstract_collection___Set___count_t)(val_t self, val_t param0);
-val_t abstract_collection___Set___count(val_t self, val_t param0);
-#define LOCATE_abstract_collection___Set___count "abstract_collection::Set::(abstract_collection::Collection::count)"
-typedef void (* abstract_collection___Set___remove_all_t)(val_t self, val_t param0);
-void abstract_collection___Set___remove_all(val_t self, val_t param0);
-#define LOCATE_abstract_collection___Set___remove_all "abstract_collection::Set::(abstract_collection::RemovableCollection::remove_all)"
-typedef val_t (* abstract_collection___MapRead___iterator_t)(val_t self);
-val_t abstract_collection___MapRead___iterator(val_t self);
-#define LOCATE_abstract_collection___MapRead___iterator "abstract_collection::MapRead::(abstract_collection::Collection::iterator)"
-typedef val_t (* abstract_collection___MapRead_____bra_t)(val_t self, val_t param0);
-val_t abstract_collection___MapRead_____bra(val_t self, val_t param0);
-#define LOCATE_abstract_collection___MapRead_____bra "abstract_collection::MapRead::[]"
-typedef val_t (* abstract_collection___MapRead___has_key_t)(val_t self, val_t param0);
-val_t abstract_collection___MapRead___has_key(val_t self, val_t param0);
-#define LOCATE_abstract_collection___MapRead___has_key "abstract_collection::MapRead::has_key"
-typedef void (* abstract_collection___Map_____braeq_t)(val_t self, val_t param0, val_t param1);
-void abstract_collection___Map_____braeq(val_t self, val_t param0, val_t param1);
-#define LOCATE_abstract_collection___Map_____braeq "abstract_collection::Map::[]="
-typedef void (* abstract_collection___Map___remove_at_t)(val_t self, val_t param0);
-void abstract_collection___Map___remove_at(val_t self, val_t param0);
-#define LOCATE_abstract_collection___Map___remove_at "abstract_collection::Map::remove_at"
-typedef void (* abstract_collection___Map___recover_with_t)(val_t self, val_t param0);
-void abstract_collection___Map___recover_with(val_t self, val_t param0);
-#define LOCATE_abstract_collection___Map___recover_with "abstract_collection::Map::recover_with"
-typedef val_t (* abstract_collection___MapIterator___key_t)(val_t self);
-val_t abstract_collection___MapIterator___key(val_t self);
-#define LOCATE_abstract_collection___MapIterator___key "abstract_collection::MapIterator::key"
-typedef val_t (* abstract_collection___IndexedCollectionRead___iterator_t)(val_t self);
-val_t abstract_collection___IndexedCollectionRead___iterator(val_t self);
-#define LOCATE_abstract_collection___IndexedCollectionRead___iterator "abstract_collection::IndexedCollectionRead::(abstract_collection::Collection::iterator)"
-typedef val_t (* abstract_collection___IndexedCollectionRead___first_t)(val_t self);
-val_t abstract_collection___IndexedCollectionRead___first(val_t self);
-#define LOCATE_abstract_collection___IndexedCollectionRead___first "abstract_collection::IndexedCollectionRead::(abstract_collection::Collection::first)"
-typedef val_t (* abstract_collection___IndexedCollectionRead___last_t)(val_t self);
-val_t abstract_collection___IndexedCollectionRead___last(val_t self);
-#define LOCATE_abstract_collection___IndexedCollectionRead___last "abstract_collection::IndexedCollectionRead::last"
-typedef val_t (* abstract_collection___IndexedCollectionRead___index_of_t)(val_t self, val_t param0);
-val_t abstract_collection___IndexedCollectionRead___index_of(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollectionRead___index_of "abstract_collection::IndexedCollectionRead::index_of"
-typedef void (* abstract_collection___IndexedCollection___add_t)(val_t self, val_t param0);
-void abstract_collection___IndexedCollection___add(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollection___add "abstract_collection::IndexedCollection::(abstract_collection::SimpleCollection::add)"
-typedef void (* abstract_collection___IndexedCollection___first__eq_t)(val_t self, val_t param0);
-void abstract_collection___IndexedCollection___first__eq(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollection___first__eq "abstract_collection::IndexedCollection::first="
-typedef void (* abstract_collection___IndexedCollection___last__eq_t)(val_t self, val_t param0);
-void abstract_collection___IndexedCollection___last__eq(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollection___last__eq "abstract_collection::IndexedCollection::last="
-typedef void (* abstract_collection___IndexedCollection___push_t)(val_t self, val_t param0);
-void abstract_collection___IndexedCollection___push(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollection___push "abstract_collection::IndexedCollection::push"
-typedef void (* abstract_collection___IndexedCollection___append_t)(val_t self, val_t param0);
-void abstract_collection___IndexedCollection___append(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollection___append "abstract_collection::IndexedCollection::append"
-typedef val_t (* abstract_collection___IndexedCollection___pop_t)(val_t self);
-val_t abstract_collection___IndexedCollection___pop(val_t self);
-#define LOCATE_abstract_collection___IndexedCollection___pop "abstract_collection::IndexedCollection::pop"
-typedef void (* abstract_collection___IndexedCollection___unshift_t)(val_t self, val_t param0);
-void abstract_collection___IndexedCollection___unshift(val_t self, val_t param0);
-#define LOCATE_abstract_collection___IndexedCollection___unshift "abstract_collection::IndexedCollection::unshift"
-typedef val_t (* abstract_collection___IndexedCollection___shift_t)(val_t self);
-val_t abstract_collection___IndexedCollection___shift(val_t self);
-#define LOCATE_abstract_collection___IndexedCollection___shift "abstract_collection::IndexedCollection::shift"
-typedef val_t (* abstract_collection___IndexedIterator___key_t)(val_t self);
-val_t abstract_collection___IndexedIterator___key(val_t self);
-#define LOCATE_abstract_collection___IndexedIterator___key "abstract_collection::IndexedIterator::(abstract_collection::MapIterator::key)"
-typedef val_t (* abstract_collection___IndexedIterator___index_t)(val_t self);
-val_t abstract_collection___IndexedIterator___index(val_t self);
-#define LOCATE_abstract_collection___IndexedIterator___index "abstract_collection::IndexedIterator::index"
-typedef val_t (* abstract_collection___CoupleMap_____bra_t)(val_t self, val_t param0);
-val_t abstract_collection___CoupleMap_____bra(val_t self, val_t param0);
-#define LOCATE_abstract_collection___CoupleMap_____bra "abstract_collection::CoupleMap::(abstract_collection::MapRead::[])"
-typedef val_t (* abstract_collection___CoupleMap___has_key_t)(val_t self, val_t param0);
-val_t abstract_collection___CoupleMap___has_key(val_t self, val_t param0);
-#define LOCATE_abstract_collection___CoupleMap___has_key "abstract_collection::CoupleMap::(abstract_collection::MapRead::has_key)"
-typedef val_t (* abstract_collection___CoupleMap___couple_at_t)(val_t self, val_t param0);
-val_t abstract_collection___CoupleMap___couple_at(val_t self, val_t param0);
-#define LOCATE_abstract_collection___CoupleMap___couple_at "abstract_collection::CoupleMap::couple_at"
-typedef val_t (* abstract_collection___CoupleMapIterator___item_t)(val_t self);
-val_t abstract_collection___CoupleMapIterator___item(val_t self);
-#define LOCATE_abstract_collection___CoupleMapIterator___item "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::item)"
-typedef void (* abstract_collection___CoupleMapIterator___next_t)(val_t self);
-void abstract_collection___CoupleMapIterator___next(val_t self);
-#define LOCATE_abstract_collection___CoupleMapIterator___next "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::next)"
-typedef val_t (* abstract_collection___CoupleMapIterator___is_ok_t)(val_t self);
-val_t abstract_collection___CoupleMapIterator___is_ok(val_t self);
-#define LOCATE_abstract_collection___CoupleMapIterator___is_ok "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::is_ok)"
-typedef val_t (* abstract_collection___CoupleMapIterator___key_t)(val_t self);
-val_t abstract_collection___CoupleMapIterator___key(val_t self);
-#define LOCATE_abstract_collection___CoupleMapIterator___key "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::key)"
-typedef void (* abstract_collection___CoupleMapIterator___init_t)(val_t self, val_t param0, int* init_table);
-void abstract_collection___CoupleMapIterator___init(val_t self, val_t param0, int* init_table);
-#define LOCATE_abstract_collection___CoupleMapIterator___init "abstract_collection::CoupleMapIterator::init"
+static const char * const LOCATE_abstract_collection___ContainerIterator___is_ok = "abstract_collection::ContainerIterator::(abstract_collection::Iterator::is_ok)";
+val_t abstract_collection___ContainerIterator___is_ok(val_t p0);
+typedef val_t (*abstract_collection___ContainerIterator___is_ok_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___RemovableCollection___clear = "abstract_collection::RemovableCollection::clear";
+void abstract_collection___RemovableCollection___clear(val_t p0);
+typedef void (*abstract_collection___RemovableCollection___clear_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___RemovableCollection___remove = "abstract_collection::RemovableCollection::remove";
+void abstract_collection___RemovableCollection___remove(val_t p0, val_t p1);
+typedef void (*abstract_collection___RemovableCollection___remove_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___RemovableCollection___remove_all = "abstract_collection::RemovableCollection::remove_all";
+void abstract_collection___RemovableCollection___remove_all(val_t p0, val_t p1);
+typedef void (*abstract_collection___RemovableCollection___remove_all_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___SimpleCollection___add = "abstract_collection::SimpleCollection::add";
+void abstract_collection___SimpleCollection___add(val_t p0, val_t p1);
+typedef void (*abstract_collection___SimpleCollection___add_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___SimpleCollection___add_all = "abstract_collection::SimpleCollection::add_all";
+void abstract_collection___SimpleCollection___add_all(val_t p0, val_t p1);
+typedef void (*abstract_collection___SimpleCollection___add_all_t)(val_t p0, val_t p1);
+ typedef void (*CLOS_OC_abstract_collection___SimpleCollection___add_all_1_0)(struct stack_frame_t *);
+ void OC_abstract_collection___SimpleCollection___add_all_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+ typedef void (*OC_abstract_collection___SimpleCollection___add_all_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_abstract_collection___Set___has_only = "abstract_collection::Set::(abstract_collection::Collection::has_only)";
+val_t abstract_collection___Set___has_only(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___Set___has_only_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Set___count = "abstract_collection::Set::(abstract_collection::Collection::count)";
+val_t abstract_collection___Set___count(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___Set___count_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Set___remove_all = "abstract_collection::Set::(abstract_collection::RemovableCollection::remove_all)";
+void abstract_collection___Set___remove_all(val_t p0, val_t p1);
+typedef void (*abstract_collection___Set___remove_all_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___MapRead_____bra = "abstract_collection::MapRead::[]";
+val_t abstract_collection___MapRead_____bra(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___MapRead_____bra_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___MapRead___has_key = "abstract_collection::MapRead::has_key";
+val_t abstract_collection___MapRead___has_key(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___MapRead___has_key_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___MapRead___iterator = "abstract_collection::MapRead::(abstract_collection::Collection::iterator)";
+val_t abstract_collection___MapRead___iterator(val_t p0);
+typedef val_t (*abstract_collection___MapRead___iterator_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___Map_____braeq = "abstract_collection::Map::[]=";
+void abstract_collection___Map_____braeq(val_t p0, val_t p1, val_t p2);
+typedef void (*abstract_collection___Map_____braeq_t)(val_t p0, val_t p1, val_t p2);
+static const char * const LOCATE_abstract_collection___Map___remove_at = "abstract_collection::Map::remove_at";
+void abstract_collection___Map___remove_at(val_t p0, val_t p1);
+typedef void (*abstract_collection___Map___remove_at_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Map___recover_with = "abstract_collection::Map::recover_with";
+void abstract_collection___Map___recover_with(val_t p0, val_t p1);
+typedef void (*abstract_collection___Map___recover_with_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___MapIterator___key = "abstract_collection::MapIterator::key";
+val_t abstract_collection___MapIterator___key(val_t p0);
+typedef val_t (*abstract_collection___MapIterator___key_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___SequenceRead___first = "abstract_collection::SequenceRead::(abstract_collection::Collection::first)";
+val_t abstract_collection___SequenceRead___first(val_t p0);
+typedef val_t (*abstract_collection___SequenceRead___first_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___SequenceRead___last = "abstract_collection::SequenceRead::last";
+val_t abstract_collection___SequenceRead___last(val_t p0);
+typedef val_t (*abstract_collection___SequenceRead___last_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___SequenceRead___index_of = "abstract_collection::SequenceRead::index_of";
+val_t abstract_collection___SequenceRead___index_of(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___SequenceRead___index_of_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___SequenceRead___iterator = "abstract_collection::SequenceRead::(abstract_collection::Collection::iterator)";
+val_t abstract_collection___SequenceRead___iterator(val_t p0);
+typedef val_t (*abstract_collection___SequenceRead___iterator_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___Sequence___first__eq = "abstract_collection::Sequence::first=";
+void abstract_collection___Sequence___first__eq(val_t p0, val_t p1);
+typedef void (*abstract_collection___Sequence___first__eq_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Sequence___last__eq = "abstract_collection::Sequence::last=";
+void abstract_collection___Sequence___last__eq(val_t p0, val_t p1);
+typedef void (*abstract_collection___Sequence___last__eq_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Sequence___add = "abstract_collection::Sequence::(abstract_collection::SimpleCollection::add)";
+void abstract_collection___Sequence___add(val_t p0, val_t p1);
+typedef void (*abstract_collection___Sequence___add_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Sequence___push = "abstract_collection::Sequence::push";
+void abstract_collection___Sequence___push(val_t p0, val_t p1);
+typedef void (*abstract_collection___Sequence___push_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Sequence___append = "abstract_collection::Sequence::append";
+void abstract_collection___Sequence___append(val_t p0, val_t p1);
+typedef void (*abstract_collection___Sequence___append_t)(val_t p0, val_t p1);
+ typedef void (*CLOS_OC_abstract_collection___Sequence___append_1_0)(struct stack_frame_t *);
+ void OC_abstract_collection___Sequence___append_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+ typedef void (*OC_abstract_collection___Sequence___append_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_abstract_collection___Sequence___pop = "abstract_collection::Sequence::pop";
+val_t abstract_collection___Sequence___pop(val_t p0);
+typedef val_t (*abstract_collection___Sequence___pop_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___Sequence___unshift = "abstract_collection::Sequence::unshift";
+void abstract_collection___Sequence___unshift(val_t p0, val_t p1);
+typedef void (*abstract_collection___Sequence___unshift_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___Sequence___shift = "abstract_collection::Sequence::shift";
+val_t abstract_collection___Sequence___shift(val_t p0);
+typedef val_t (*abstract_collection___Sequence___shift_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___IndexedIterator___index = "abstract_collection::IndexedIterator::index";
+val_t abstract_collection___IndexedIterator___index(val_t p0);
+typedef val_t (*abstract_collection___IndexedIterator___index_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___IndexedIterator___key = "abstract_collection::IndexedIterator::(abstract_collection::MapIterator::key)";
+val_t abstract_collection___IndexedIterator___key(val_t p0);
+typedef val_t (*abstract_collection___IndexedIterator___key_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___CoupleMap___couple_at = "abstract_collection::CoupleMap::couple_at";
+val_t abstract_collection___CoupleMap___couple_at(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___CoupleMap___couple_at_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___CoupleMap_____bra = "abstract_collection::CoupleMap::(abstract_collection::MapRead::[])";
+val_t abstract_collection___CoupleMap_____bra(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___CoupleMap_____bra_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___CoupleMap___has_key = "abstract_collection::CoupleMap::(abstract_collection::MapRead::has_key)";
+val_t abstract_collection___CoupleMap___has_key(val_t p0, val_t p1);
+typedef val_t (*abstract_collection___CoupleMap___has_key_t)(val_t p0, val_t p1);
+static const char * const LOCATE_abstract_collection___CoupleMapIterator___item = "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::item)";
+val_t abstract_collection___CoupleMapIterator___item(val_t p0);
+typedef val_t (*abstract_collection___CoupleMapIterator___item_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___CoupleMapIterator___key = "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::key)";
+val_t abstract_collection___CoupleMapIterator___key(val_t p0);
+typedef val_t (*abstract_collection___CoupleMapIterator___key_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___CoupleMapIterator___is_ok = "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::is_ok)";
+val_t abstract_collection___CoupleMapIterator___is_ok(val_t p0);
+typedef val_t (*abstract_collection___CoupleMapIterator___is_ok_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___CoupleMapIterator___next = "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::next)";
+void abstract_collection___CoupleMapIterator___next(val_t p0);
+typedef void (*abstract_collection___CoupleMapIterator___next_t)(val_t p0);
+static const char * const LOCATE_abstract_collection___CoupleMapIterator___init = "abstract_collection::CoupleMapIterator::init";
+void abstract_collection___CoupleMapIterator___init(val_t p0, val_t p1, int* init_table);
+typedef void (*abstract_collection___CoupleMapIterator___init_t)(val_t p0, val_t p1, int* init_table);