--- /dev/null
+#include "nit.common.h"
+#define COLOR_standard__Array__standard__sorter__Comparator__COMPARED 4
+extern const char FILE_standard__sorter[];
+#define COLOR_standard__array__AbstractArrayRead___length 0
+extern const struct type type_standard__Int;
+extern const char FILE_standard__kernel[];
+void standard___standard__Comparator___sub_sort(val* self, val* p0, long p1, long p2);
+void standard___standard__Comparator___quick_sort(val* self, val* p0, long p1, long p2);
+void standard___standard__Comparator___bubble_sort(val* self, val* p0, long p1, long p2);
+val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
+#define COLOR_standard__sorter__Comparator__compare 32
+void standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(val* self, long p0, val* p1);
+#define COLOR_standard__sorter__Comparator__COMPARED 0
+#define COLOR_standard__kernel__Comparable___60d_61d_62d 36
+val* NEW_standard__DefaultComparator(const struct type* type);
+extern const struct type type_standard__DefaultComparator;