+++ /dev/null
-#include "nit.common.h"
-#define COLOR_array__Arraysorter__Comparator_VTCOMPARED 7
-#define COLOR_array__AbstractArrayRead___length 0
-extern const struct type type_kernel__Int;
-void sorter__Comparator__sub_sort(val* self, val* p0, long p1, long p2);
-void sorter__Comparator__sort(val* self, val* p0);
-void sorter__Comparator__quick_sort(val* self, val* p0, long p1, long p2);
-void sorter__Comparator__bubble_sort(val* self, val* p0, long p1, long p2);
-val* array__Array___91d_93d(val* self, long p0);
-#define COLOR_sorter__Comparator__compare 31
-void array__Array___91d_93d_61d(val* self, long p0, val* p1);
-#define COLOR_sorter__Comparator_VTCOMPARED 0
-#define COLOR_kernel__Comparable___60d_61d_62d 35
-long sorter__DefaultComparator__compare(val* self, val* p0, val* p1);
-val* NEW_sorter__DefaultComparator(const struct type* type);
-extern const struct type type_sorter__DefaultComparator;
-#define COLOR_kernel__Object__init 7
-val* sorter__Object__default_comparator(val* self);