-short int var41 /* : Bool */;
-int cltype42;
-int idtype43;
-short int var44 /* : Bool */;
-val* var45 /* : nullable Object */;
-long var46 /* : Int */;
-long var47 /* : Int */;
-long var49 /* : Int */;
-var_from = p0;
-var_to = p1;
-var2 = 0;
-{ /* Inline kernel#Int#>= (var_from,var2) */
-/* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
-/* <var2:Int> isa OTHER */
-var5 = 1; /* easy <var2:Int> isa OTHER*/
-if (!var5) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 258);
-exit(1);
-}
-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) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 257);
-exit(1);
-}
-var13 = var_from < var7;
-var8 = var13;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-var1 = var8;
-} else {
-var1 = var_;
-}
-if (!var1) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "lib/standard/collection/list.nit", 81);
-exit(1);
-}
-var16 = 0;
-{ /* Inline kernel#Int#>= (var_to,var16) */
-/* Covariant cast for argument 0 (i) <var16:Int> isa OTHER */
-/* <var16:Int> isa OTHER */
-var19 = 1; /* easy <var16:Int> isa OTHER*/
-if (!var19) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 258);
-exit(1);
-}
-var22 = var_to >= var16;
-var17 = var22;
-goto RET_LABEL18;
-RET_LABEL18:(void)0;
-}
-var_23 = var17;
-if (var17){
-var24 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:List[nullable Object]>*/;
-{ /* Inline kernel#Int#< (var_to,var24) */
-/* Covariant cast for argument 0 (i) <var24:Int> isa OTHER */
-/* <var24:Int> isa OTHER */
-var27 = 1; /* easy <var24:Int> isa OTHER*/
-if (!var27) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 257);
-exit(1);
-}
-var30 = var_to < var24;
-var25 = var30;
-goto RET_LABEL26;
-RET_LABEL26:(void)0;
-}
-var15 = var25;
-} else {
-var15 = var_23;
-}
-var_31 = var15;
-if (var15){
-{ /* Inline kernel#Int#<= (var_from,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var34 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var34) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 256);
-exit(1);
-}
-var37 = var_from <= var_to;
-var32 = var37;
-goto RET_LABEL33;
-RET_LABEL33:(void)0;
-}
-var14 = var32;
-} else {
-var14 = var_31;
-}
-if (!var14) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "lib/standard/collection/list.nit", 82);
-exit(1);
-}
-var38 = NEW_list__List(self->type->resolution_table->types[COLOR_list__Listlist__List_FT0]);
-((void (*)(val*))(var38->class->vft[COLOR_list__List__init]))(var38) /* init on <var38:List[nullable Object]>*/;
-CHECK_NEW_list__List(var38);
-var_list = var38;
-for(;;) {
-{ /* Inline kernel#Int#<= (var_from,var_to) */
-/* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
-/* <var_to:Int> isa OTHER */
-var41 = 1; /* easy <var_to:Int> isa OTHER*/
-if (!var41) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 256);
-exit(1);
-}
-var44 = var_from <= var_to;
-var39 = var44;
-goto RET_LABEL40;
-RET_LABEL40:(void)0;
-}
-if (!var39) break;
-var45 = ((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, var45) /* add on <var_list:List[nullable Object]>*/;
-var46 = 1;
-{ /* Inline kernel#Int#+ (var_from,var46) */
-var49 = var_from + var46;
-var47 = var49;
-goto RET_LABEL48;
-RET_LABEL48:(void)0;
-}
-var_from = var47;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-var = var_list;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method list#List#slice for (self: Object, Int, Int): List[nullable Object] */
-val* VIRTUAL_list__List__slice(val* self, long p0, long p1) {
-val* var /* : List[nullable Object] */;
-val* var1 /* : List[nullable Object] */;
-var1 = list__List__slice(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method list#List#push for (self: List[nullable Object], nullable Object) */
-void list__List__push(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-short int is_nullable;
-val* var_e /* var e: nullable Object */;
-val* var1 /* : ListNode[nullable Object] */;
-val* var_node /* var node: ListNode[nullable Object] */;
-val* var2 /* : nullable ListNode[nullable Object] */;
-val* var3 /* : null */;
-short int var4 /* : Bool */;
-val* var5 /* : nullable ListNode[nullable Object] */;
-val* var6 /* : nullable ListNode[nullable Object] */;
-/* Covariant cast for argument 0 (e) <p0:nullable Object> isa Sequence#0 */
-/* <p0:nullable Object> isa Sequence#0 */