-#define LOCATE_list___List___last "list::List::(abstract_collection::SequenceRead::last)"
-val_t list___List___last(val_t p0);
-typedef val_t (*list___List___last_t)(val_t p0);
-#define LOCATE_list___List___clear "list::List::(abstract_collection::RemovableCollection::clear)"
-void list___List___clear(val_t p0);
-typedef void (*list___List___clear_t)(val_t p0);
-#define LOCATE_list___List___remove "list::List::(abstract_collection::RemovableCollection::remove)"
-void list___List___remove(val_t p0, val_t p1);
-typedef void (*list___List___remove_t)(val_t p0, val_t p1);
-#define LOCATE_list___List_____braeq "list::List::(abstract_collection::Map::[]=)"
-void list___List_____braeq(val_t p0, val_t p1, val_t p2);
-typedef void (*list___List_____braeq_t)(val_t p0, val_t p1, val_t p2);
-#define LOCATE_list___List___remove_at "list::List::(abstract_collection::Map::remove_at)"
-void list___List___remove_at(val_t p0, val_t p1);
-typedef void (*list___List___remove_at_t)(val_t p0, val_t p1);
-#define LOCATE_list___List___first__eq "list::List::(abstract_collection::Sequence::first=)"
-void list___List___first__eq(val_t p0, val_t p1);
-typedef void (*list___List___first__eq_t)(val_t p0, val_t p1);
-#define LOCATE_list___List___last__eq "list::List::(abstract_collection::Sequence::last=)"
-void list___List___last__eq(val_t p0, val_t p1);
-typedef void (*list___List___last__eq_t)(val_t p0, val_t p1);
-#define LOCATE_list___List___push "list::List::(abstract_collection::Sequence::push)"