+static const char * const LOCATE_range___Range___has = "range::Range::(abstract_collection::Collection::has)";
+val_t range___Range___has(val_t p0, val_t p1);
+typedef val_t (*range___Range___has_t)(val_t p0, val_t p1);
+static const char * const LOCATE_range___Range___has_only = "range::Range::(abstract_collection::Collection::has_only)";
+val_t range___Range___has_only(val_t p0, val_t p1);
+typedef val_t (*range___Range___has_only_t)(val_t p0, val_t p1);
+static const char * const LOCATE_range___Range___count = "range::Range::(abstract_collection::Collection::count)";
+val_t range___Range___count(val_t p0, val_t p1);
+typedef val_t (*range___Range___count_t)(val_t p0, val_t p1);
+static const char * const LOCATE_range___Range___iterator = "range::Range::(abstract_collection::Collection::iterator)";
+val_t range___Range___iterator(val_t p0);
+typedef val_t (*range___Range___iterator_t)(val_t p0);
+typedef void (*CLOS_range___Range___iterate_0)(struct stack_frame_t *, val_t);
+static const char * const LOCATE_range___Range___iterate = "range::Range::(abstract_collection::Collection::iterate)";
+void range___Range___iterate(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+typedef void (*range___Range___iterate_t)(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_range___Range___length = "range::Range::(abstract_collection::Collection::length)";
+val_t range___Range___length(val_t p0);
+typedef val_t (*range___Range___length_t)(val_t p0);
+static const char * const LOCATE_range___Range___is_empty = "range::Range::(abstract_collection::Collection::is_empty)";
+val_t range___Range___is_empty(val_t p0);
+typedef val_t (*range___Range___is_empty_t)(val_t p0);
+static const char * const LOCATE_range___Range___init = "range::Range::init";