void core___core__CircularArray___core__abstract_collection__Sequence__push(val* self, val* p0);
#define COLOR_core__NativeArray___35dE 0
extern const char FILE_core__array[];
void core___core__CircularArray___enlarge(val* self, long p0);
void core___core__CircularArray___core__abstract_collection__Sequence__push(val* self, val* p0);
#define COLOR_core__NativeArray___35dE 0
extern const char FILE_core__array[];
void core___core__CircularArray___enlarge(val* self, long p0);