-var6 = var_from >= var2;
-var3 = var6;
-goto RET_LABEL4;
-RET_LABEL4:(void)0;
-}
-var_ = var3;
-if (var3){
-var7 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:List[nullable Object]>*/;
-{ /* Inline kernel#Int#< (var_from,var7) */
-/* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
-/* <var7:Int> isa OTHER */
-var10 = 1; /* easy <var7:Int> isa OTHER*/
-if (!var10) {
-var_class_name13 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-show_backtrace(1);
-}
-var14 = var_from < var7;
-var8 = var14;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-var1 = var8;
-} else {
-var1 = var_;
-}
-if (!var1) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 81);
-show_backtrace(1);
-}
-var17 = 0;
-{ /* Inline kernel#Int#>= (var_to,var17) */
-/* Covariant cast for argument 0 (i) <var17:Int> isa OTHER */
-/* <var17:Int> isa OTHER */
-var20 = 1; /* easy <var17:Int> isa OTHER*/
-if (!var20) {
-var_class_name23 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name23);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-show_backtrace(1);
-}
-var24 = var_to >= var17;
-var18 = var24;
-goto RET_LABEL19;
-RET_LABEL19:(void)0;
-}
-var_25 = var18;
-if (var18){
-var26 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:List[nullable Object]>*/;
-{ /* Inline kernel#Int#< (var_to,var26) */
-/* Covariant cast for argument 0 (i) <var26:Int> isa OTHER */
-/* <var26:Int> isa OTHER */
-var29 = 1; /* easy <var26:Int> isa OTHER*/
-if (!var29) {
-var_class_name32 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-show_backtrace(1);
-}
-var33 = var_to < var26;
-var27 = var33;
-goto RET_LABEL28;
-RET_LABEL28:(void)0;
-}
-var16 = var27;
-} else {
-var16 = var_25;
-}
-var_34 = var16;
-if (var16){
-{ /* Inline kernel#Int#<= (var_from,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var37 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var37) {
-var_class_name40 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name40);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-show_backtrace(1);
-}
-var41 = var_from <= var_to;
-var35 = var41;
-goto RET_LABEL36;
-RET_LABEL36:(void)0;
-}
-var15 = var35;
-} else {
-var15 = var_34;
-}
-if (!var15) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 82);
-show_backtrace(1);
-}
-var42 = NEW_list__List(self->type->resolution_table->types[COLOR_list__Listlist__List_FT0]);
-((void (*)(val*))(var42->class->vft[COLOR_list__List__init]))(var42) /* init on <var42:List[nullable Object]>*/;
-var_list = var42;
-for(;;) {
-{ /* Inline kernel#Int#<= (var_from,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var45 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var45) {
-var_class_name48 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-show_backtrace(1);
-}
-var49 = var_from <= var_to;
-var43 = var49;
-goto RET_LABEL44;
-RET_LABEL44:(void)0;
-}
-if (!var43) break;
-var50 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_from) /* [] on <self:List[nullable Object]>*/;
-((void (*)(val*, val*))(var_list->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_list, var50) /* add on <var_list:List[nullable Object]>*/;
-var51 = 1;
-{ /* Inline kernel#Int#+ (var_from,var51) */
-var54 = var_from + var51;
-var52 = var54;
-goto RET_LABEL53;
-RET_LABEL53:(void)0;
-}
-var_from = var52;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-var = var_list;
-goto RET_LABEL;