+#define COLOR_core__kernel__Object___33d_61d 1
+#define COLOR_core__kernel__Object__hash 8
+#define COLOR_core__Set__core__Set___35dE 6
+#define COLOR_core__abstract_collection__Set__new_set 14
+void core___core__SimpleCollection___add_all(val* self, val* p0);
+val* core___core__Set___union(val* self, val* p0);
+#define COLOR_core__kernel__Object__SELF 1