-var13 = var5 < var_to;
-var8 = var13;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-if (var8){
-var14 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_from) /* [] on <self:Array[nullable Object]>*/;
-var_pivot = var14;
-var_i = var_from;
-var_j = var_to;
-for(;;) {
-{ /* Inline kernel#Int#> (var_j,var_i) */
-/* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
-/* <var_i:Int> isa OTHER */
-var17 = 1; /* easy <var_i:Int> isa OTHER*/
-if (!var17) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var20 = var_j > var_i;
-var15 = var20;
-goto RET_LABEL16;
-RET_LABEL16:(void)0;
-}
-if (!var15) break;
-for(;;) {
-{ /* Inline kernel#Int#<= (var_i,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var24 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var24) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 256);
-exit(1);
-}
-var27 = var_i <= var_to;
-var22 = var27;
-goto RET_LABEL23;
-RET_LABEL23:(void)0;
-}
-var_ = var22;
-if (var22){
-printf("NOT YET IMPLEMENTED AClosureCallExpr:lib/standard/collection/array.nit:385,23--41\n");
-/* var28 = NOT YET AClosureCallExpr */
-var29 = 0;
-{ /* Inline kernel#Int#<= (var28,var29) */
-/* Covariant cast for argument 0 (i) <var29:Int> isa OTHER */
-/* <var29:Int> isa OTHER */
-var32 = 1; /* easy <var29:Int> isa OTHER*/
-if (!var32) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 256);
-exit(1);
-}
-var35 = var28 <= var29;
-var30 = var35;
-goto RET_LABEL31;
-RET_LABEL31:(void)0;
-}
-var21 = var30;
-} else {
-var21 = var_;
-}
-if (!var21) break;
-var36 = 1;
-{ /* Inline kernel#Int#+ (var_i,var36) */
-var39 = var_i + var36;
-var37 = var39;
-goto RET_LABEL38;
-RET_LABEL38:(void)0;
-}
-var_i = var37;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-for(;;) {
-{ /* Inline kernel#Int#> (var_j,var_i) */
-/* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
-/* <var_i:Int> isa OTHER */
-var43 = 1; /* easy <var_i:Int> isa OTHER*/
-if (!var43) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var46 = var_j > var_i;
-var41 = var46;
-goto RET_LABEL42;
-RET_LABEL42:(void)0;
-}
-var_47 = var41;
-if (var41){
-printf("NOT YET IMPLEMENTED AClosureCallExpr:lib/standard/collection/array.nit:386,21--39\n");
-/* var48 = NOT YET AClosureCallExpr */
-var49 = 0;
-{ /* Inline kernel#Int#>= (var48,var49) */
-/* Covariant cast for argument 0 (i) <var49:Int> isa OTHER */
-/* <var49:Int> isa OTHER */
-var52 = 1; /* easy <var49:Int> isa OTHER*/
-if (!var52) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 258);
-exit(1);
-}
-var55 = var48 >= var49;
-var50 = var55;
-goto RET_LABEL51;
-RET_LABEL51:(void)0;
-}
-var40 = var50;
-} else {
-var40 = var_47;
-}
-if (!var40) break;
-var56 = 1;
-{ /* Inline kernel#Int#- (var_j,var56) */
-var59 = var_j - var56;
-var57 = var59;
-goto RET_LABEL58;
-RET_LABEL58:(void)0;
-}
-var_j = var57;
-CONTINUE_label60: (void)0;
-}
-BREAK_label60: (void)0;
-{ /* Inline kernel#Int#> (var_j,var_i) */
-/* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
-/* <var_i:Int> isa OTHER */
-var63 = 1; /* easy <var_i:Int> isa OTHER*/
-if (!var63) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var66 = var_j > var_i;
-var61 = var66;
-goto RET_LABEL62;
-RET_LABEL62:(void)0;
-}
-if (var61){
-var67 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_i) /* [] on <self:Array[nullable Object]>*/;
-var_t = var67;
-var68 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_j) /* [] on <self:Array[nullable Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(self, var_i, var68) /* []= on <self:Array[nullable Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(self, var_j, var_t) /* []= on <self:Array[nullable Object]>*/;
-} else {
-}
-CONTINUE_label69: (void)0;
-}
-BREAK_label69: (void)0;
-var70 = 1;
-{ /* Inline kernel#Int#- (var_i,var70) */
-var73 = var_i - var70;
-var71 = var73;
-goto RET_LABEL72;
-RET_LABEL72:(void)0;
-}
-var74 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var71) /* [] on <self:Array[nullable Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(self, var_from, var74) /* []= on <self:Array[nullable Object]>*/;
-var75 = 1;
-{ /* Inline kernel#Int#- (var_i,var75) */
-var78 = var_i - var75;
-var76 = var78;
-goto RET_LABEL77;
-RET_LABEL77:(void)0;
-}
-((void (*)(val*, long, val*))(self->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(self, var76, var_pivot) /* []= on <self:Array[nullable Object]>*/;
-var79 = 2;
-{ /* Inline kernel#Int#- (var_i,var79) */
-var82 = var_i - var79;
-var80 = var82;
-goto RET_LABEL81;
-RET_LABEL81:(void)0;
-}
-((void (*)(val*, long, long))(self->class->vft[COLOR_array__Array__sub_sort]))(self, var_from, var80) /* sub_sort on <self:Array[nullable Object]>*/;
-((void (*)(val*, long, long))(self->class->vft[COLOR_array__Array__sub_sort]))(self, var_i, var_to) /* sub_sort on <self:Array[nullable Object]>*/;
-} else {
-var_i83 = var_from;
-for(;;) {
-{ /* Inline kernel#Int#< (var_i83,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var86 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var86) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 257);
-exit(1);
-}
-var89 = var_i83 < var_to;
-var84 = var89;
-goto RET_LABEL85;
-RET_LABEL85:(void)0;
-}
-if (!var84) break;
-var_min = var_i83;
-var90 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_i83) /* [] on <self:Array[nullable Object]>*/;
-var_min_v = var90;
-var_j91 = var_i83;
-for(;;) {
-{ /* Inline kernel#Int#<= (var_j91,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var94 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var94) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 256);
-exit(1);
-}
-var97 = var_j91 <= var_to;
-var92 = var97;
-goto RET_LABEL93;
-RET_LABEL93:(void)0;
-}
-if (!var92) break;
-printf("NOT YET IMPLEMENTED AClosureCallExpr:lib/standard/collection/array.nit:404,9--27\n");
-/* var98 = NOT YET AClosureCallExpr */
-var99 = 0;
-{ /* Inline kernel#Int#> (var98,var99) */
-/* Covariant cast for argument 0 (i) <var99:Int> isa OTHER */
-/* <var99:Int> isa OTHER */
-var102 = 1; /* easy <var99:Int> isa OTHER*/
-if (!var102) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var105 = var98 > var99;
-var100 = var105;
-goto RET_LABEL101;
-RET_LABEL101:(void)0;
-}
-if (var100){
-var_min = var_j91;
-var106 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_j91) /* [] on <self:Array[nullable Object]>*/;
-var_min_v = var106;
-} else {
-}
-var107 = 1;
-{ /* Inline kernel#Int#+ (var_j91,var107) */
-var110 = var_j91 + var107;
-var108 = var110;
-goto RET_LABEL109;
-RET_LABEL109:(void)0;
-}
-var_j91 = var108;
-CONTINUE_label111: (void)0;
-}
-BREAK_label111: (void)0;
-{ /* Inline kernel#Int#!= (var_min,var_i83) */
-var114 = var_min == var_i83;
-var115 = !var114;
-var112 = var115;
-goto RET_LABEL113;
-RET_LABEL113:(void)0;
-}
-if (var112){
-var116 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_i83) /* [] on <self:Array[nullable Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(self, var_min, var116) /* []= on <self:Array[nullable Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(self, var_i83, var_min_v) /* []= on <self:Array[nullable Object]>*/;
-} else {
-}
-var117 = 1;
-{ /* Inline kernel#Int#+ (var_i83,var117) */
-var120 = var_i83 + var117;
-var118 = var120;
-goto RET_LABEL119;
-RET_LABEL119:(void)0;
-}
-var_i83 = var118;
-CONTINUE_label121: (void)0;