extern const int COLOR_abstract_collection__Sequence__push;
void array__ArrayMap___91d_93d_61d(val* self, val* p0, val* p1);
extern const int COLOR_array__ArrayMap___64dkeys;
extern const int COLOR_abstract_collection__Sequence__push;
void array__ArrayMap___91d_93d_61d(val* self, val* p0, val* p1);
extern const int COLOR_array__ArrayMap___64dkeys;