+#include "nit.common.h"
+#define COLOR_core__Array__core__sorter__Comparator__COMPARED 7
+extern const char FILE_core__sorter[];
+#define COLOR_core__array__AbstractArrayRead___length 0
+extern const struct type type_core__Int;
+extern const char FILE_core__kernel[];
+void core___core__Comparator___sub_sort(val* self, val* p0, long p1, long p2);
+void core___core__Comparator___quick_sort(val* self, val* p0, long p1, long p2);
+void core___core__Comparator___bubble_sort(val* self, val* p0, long p1, long p2);
+val* core___core__Array___core__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
+#define COLOR_core__sorter__Comparator__compare 16
+void core___core__Array___core__abstract_collection__Sequence___91d_93d_61d(val* self, long p0, val* p1);
+#define COLOR_core__sorter__Comparator__COMPARED 0
+#define COLOR_core__kernel__Comparable___60d_61d_62d 16
+val* NEW_core__DefaultComparator(const struct type* type);
+extern const struct type type_core__DefaultComparator;