+val* NEW_ordered_tree__OrderedTree(const struct type* type);
+#define COLOR_ordered_tree__OrderedTree__ordered_tree__OrderedTree___35dE 8
+void ordered_tree___ordered_tree__OrderedTree___add_all(val* self, val* p0, val* p1);
+val* core___core__HashMap___core__abstract_collection__MapRead__iterator(val* self);
+#define COLOR_core__abstract_collection__MapIterator__is_ok 12
+#define COLOR_core__abstract_collection__MapIterator__key 13
+#define COLOR_core__abstract_collection__MapIterator__item 14
+#define COLOR_core__abstract_collection__MapIterator__next 15
+#define COLOR_core__kernel__Object__SELF 1