+#define COLOR_array__AbstractArray_FT0 12
+void array__Array__enlarge(val* self, long p0);
+void array__AbstractArray__insert(val* self, val* p0, long p1);
+#define COLOR_abstract_collection__Collectionabstract_collection__Sequence_FT0 7
+#define COLOR_abstract_collection__Collection__length 39
+#define COLOR_abstract_collection__Collection__iterator 37
+#define COLOR_abstract_collection__Iterator__is_ok 33
+#define COLOR_abstract_collection__Iterator__item 31
+#define COLOR_abstract_collection__Iterator__next 32
+void array__AbstractArray__insert_all(val* self, val* p0, long p1);