-void standard___standard__HashSet___standard__abstract_collection__RemovableCollection__remove(val* self, val* p0);
-#define COLOR_standard__kernel__Object___61d_61d 4
-val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
-short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
-val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
-void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);
-void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__finish(val* self);
-void standard___standard__AbstractArray___standard__abstract_collection__RemovableCollection__clear(val* self);
-long standard___standard__HashSet___standard__abstract_collection__Collection__length(val* self);
-long standard___standard__Int___Comparable___60d_61d_62d(long self, long p0);
+void core___core__HashSet___core__abstract_collection__RemovableCollection__remove(val* self, val* p0);
+#define COLOR_core__kernel__Object___61d_61d 4
+val* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val* self);
+void core___core__AbstractArray___core__abstract_collection__RemovableCollection__clear(val* self);
+long core___core__HashSet___core__abstract_collection__Collection__length(val* self);
+long core___core__Int___Comparable___60d_61d_62d(long self, long p0);