-val* abstract_collection__MapRead__iterator(val* self);
-val* abstract_collection__MapRead__values(val* self);
-val* abstract_collection__MapRead__keys(val* self);
-short int abstract_collection__MapRead__is_empty(val* self);
-long abstract_collection__MapRead__length(val* self);
-extern const int COLOR_abstract_collection__Map_FT0;
-extern const int COLOR_abstract_collection__Map_FT1;
-void abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
-extern const int COLOR_abstract_collection__Mapabstract_collection__Map_FT0abstract_collection__Map_FT1;
-extern const int COLOR_abstract_collection__MapRead__iterator;
-extern const int COLOR_abstract_collection__MapIterator__is_ok;
-extern const int COLOR_abstract_collection__MapIterator__key;
-extern const int COLOR_abstract_collection__MapIterator__item;
-extern const int COLOR_abstract_collection__Map___91d_93d_61d;
-extern const int COLOR_abstract_collection__MapIterator__next;
-void abstract_collection__Map__recover_with(val* self, val* p0);
-void abstract_collection__Map__clear(val* self);
-val* abstract_collection__Map__values(val* self);
-val* abstract_collection__Map__keys(val* self);
-val* abstract_collection__MapIterator__item(val* self);
-val* abstract_collection__MapIterator__key(val* self);
-void abstract_collection__MapIterator__next(val* self);
-short int abstract_collection__MapIterator__is_ok(val* self);
-extern const int COLOR_abstract_collection__MapKeysIterator___64diterator;
-val* abstract_collection__MapKeysIterator__iterator(val* self);
-extern const int COLOR_abstract_collection__MapIteratorabstract_collection__MapKeysIterator_FT0abstract_collection__MapKeysIterator_FT1;
-void abstract_collection__MapKeysIterator__iterator_61d(val* self, val* p0);
-extern const int COLOR_abstract_collection__MapKeysIterator__iterator;
+#define COLOR_abstract_collection__MapRead___91d_93d 31
+val* abstract_collection__MapRead__get_or_null(val* self, val* p0);
+#define COLOR_abstract_collection__MapRead__keys 36
+val* abstract_collection__MapRead__provide_default_value(val* self, val* p0);
+#define COLOR_abstract_collection__MapKeysIterator___original_iterator 0
+#define COLOR_abstract_collection__MapIteratorabstract_collection__MapKeysIterator_FT0abstract_collection__MapKeysIterator_FT1 1
+#define COLOR_abstract_collection__MapIterator__is_ok 34