-{ /* Inline kernel#Object#is_same_instance (var_next,var_other) on <var_next:nullable ListNode[nullable Object](ListNode[nullable Object])> */
-var19 = var_next == var_other;
-var17 = var19;
-goto RET_LABEL18;
-RET_LABEL18:(void)0;
-}
-}
-var15 = var17;
-goto RET_LABEL16;
-RET_LABEL16:(void)0;
-}
-var14 = var15;
-}
-if (var14){
-self->attrs[COLOR_standard__list__List___tail].val = var_nnode; /* _tail on <self:List[nullable Object]> */
-} else {
-{
-{ /* Inline list#ListNode#prev= (var_next,var_nnode) on <var_next:nullable ListNode[nullable Object](ListNode[nullable Object])> */
-/* Covariant cast for argument 0 (prev) <var_nnode:ListNode[nullable Object]> isa nullable ListNode[E] */
-/* <var_nnode:ListNode[nullable Object]> isa nullable ListNode[E] */
-type_struct24 = var_next->type->resolution_table->types[COLOR_nullable__standard__list__ListNode__standard__list__ListNode___35dE];
-cltype22 = type_struct24->color;
-idtype23 = type_struct24->id;
-if(cltype22 >= var_nnode->type->table_size) {
-var21 = 0;
-} else {
-var21 = var_nnode->type->type_table[cltype22] == idtype23;
-}
-if (unlikely(!var21)) {
-var_class_name25 = var_nnode == NULL ? "null" : var_nnode->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[E]", var_class_name25);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 344);
-show_backtrace(1);
-}
-var_next->attrs[COLOR_standard__list__ListNode___prev].val = var_nnode; /* _prev on <var_next:nullable ListNode[nullable Object](ListNode[nullable Object])> */
-RET_LABEL20:(void)0;
-}
-}
-}
-{
-{ /* Inline list#ListNode#prev= (var_nnode,var_node) on <var_nnode:ListNode[nullable Object]> */
-/* Covariant cast for argument 0 (prev) <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])> isa nullable ListNode[E] */
-/* <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])> isa nullable ListNode[E] */
-type_struct30 = var_nnode->type->resolution_table->types[COLOR_nullable__standard__list__ListNode__standard__list__ListNode___35dE];
-cltype28 = type_struct30->color;
-idtype29 = type_struct30->id;
-if(cltype28 >= var_node->type->table_size) {
-var27 = 0;
-} else {
-var27 = var_node->type->type_table[cltype28] == idtype29;
-}
-if (unlikely(!var27)) {
-var_class_name31 = var_node == NULL ? "null" : var_node->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[E]", var_class_name31);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 344);
-show_backtrace(1);
-}
-var_nnode->attrs[COLOR_standard__list__ListNode___prev].val = var_node; /* _prev on <var_nnode:ListNode[nullable Object]> */
-RET_LABEL26:(void)0;
-}
-}
-{
-{ /* Inline list#ListNode#next= (var_nnode,var_next) on <var_nnode:ListNode[nullable Object]> */
-/* Covariant cast for argument 0 (next) <var_next:nullable ListNode[nullable Object]> isa nullable ListNode[E] */
-/* <var_next:nullable ListNode[nullable Object]> isa nullable ListNode[E] */
-type_struct36 = var_nnode->type->resolution_table->types[COLOR_nullable__standard__list__ListNode__standard__list__ListNode___35dE];
-cltype34 = type_struct36->color;
-idtype35 = type_struct36->id;
-if(var_next == NULL) {
-var33 = 1;
-} else {
-if(cltype34 >= var_next->type->table_size) {
-var33 = 0;
-} else {
-var33 = var_next->type->type_table[cltype34] == idtype35;
-}
-}
-if (unlikely(!var33)) {
-var_class_name37 = var_next == NULL ? "null" : var_next->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[E]", var_class_name37);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 341);
-show_backtrace(1);
-}
-var_nnode->attrs[COLOR_standard__list__ListNode___next].val = var_next; /* _next on <var_nnode:ListNode[nullable Object]> */
-RET_LABEL32:(void)0;
-}
-}
-{
-{ /* Inline list#ListNode#next= (var_node,var_nnode) on <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])> */
-/* Covariant cast for argument 0 (next) <var_nnode:ListNode[nullable Object]> isa nullable ListNode[E] */
-/* <var_nnode:ListNode[nullable Object]> isa nullable ListNode[E] */
-type_struct42 = var_node->type->resolution_table->types[COLOR_nullable__standard__list__ListNode__standard__list__ListNode___35dE];
-cltype40 = type_struct42->color;
-idtype41 = type_struct42->id;
-if(cltype40 >= var_nnode->type->table_size) {
-var39 = 0;
-} else {
-var39 = var_nnode->type->type_table[cltype40] == idtype41;
-}
-if (unlikely(!var39)) {
-var_class_name43 = var_nnode == NULL ? "null" : var_nnode->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[E]", var_class_name43);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 341);
-show_backtrace(1);
-}
-var_node->attrs[COLOR_standard__list__ListNode___next].val = var_nnode; /* _next on <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])> */
-RET_LABEL38:(void)0;
-}
-}
-RET_LABEL:;
-}
-/* method list#List#pop for (self: List[nullable Object]): nullable Object */
-val* standard___standard__List___standard__abstract_collection__Sequence__pop(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable ListNode[nullable Object] */;
-val* var_node /* var node: nullable ListNode[nullable Object] */;
-val* var2 /* : nullable ListNode[nullable Object] */;
-val* var4 /* : nullable ListNode[nullable Object] */;
-val* var5 /* : null */;
-short int var7 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-val* var8 /* : nullable ListNode[nullable Object] */;
-val* var9 /* : null */;
-short int var10 /* : Bool */;
-short int var11 /* : Bool */;
-val* var_other /* var other: nullable Object */;
-short int var13 /* : Bool */;
-short int var15 /* : Bool */;
-val* var16 /* : null */;
-val* var17 /* : nullable ListNode[nullable Object] */;
-val* var18 /* : null */;
-short int var20 /* : Bool */;
-int cltype21;
-int idtype22;
-const char* var_class_name23;
-val* var24 /* : nullable Object */;
-val* var26 /* : nullable Object */;
-var1 = self->attrs[COLOR_standard__list__List___tail].val; /* _tail on <self:List[nullable Object]> */
-var_node = var1;
-if (var_node == NULL) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 162);
-show_backtrace(1);
-} else {
-{ /* Inline list#ListNode#prev (var_node) on <var_node:nullable ListNode[nullable Object]> */
-if (unlikely(var_node == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 344);
-show_backtrace(1);
-}
-var4 = var_node->attrs[COLOR_standard__list__ListNode___prev].val; /* _prev on <var_node:nullable ListNode[nullable Object]> */
-var2 = var4;
-RET_LABEL3:(void)0;
-}
-}
-self->attrs[COLOR_standard__list__List___tail].val = var2; /* _tail on <self:List[nullable Object]> */
-var5 = NULL;
-if (var_node == NULL) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 163);
-show_backtrace(1);
-} else {
-{ /* Inline list#ListNode#prev= (var_node,var5) on <var_node:nullable ListNode[nullable Object]> */
-/* Covariant cast for argument 0 (prev) <var5:null> isa nullable ListNode[E] */
-/* <var5:null> isa nullable ListNode[E] */
-var7 = 1; /* easy <var5:null> isa nullable ListNode[E]*/
-if (unlikely(!var7)) {
-var_class_name = var5 == NULL ? "null" : var5->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 344);
-show_backtrace(1);
-}
-if (unlikely(var_node == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__list, 344);
-show_backtrace(1);
-}
-var_node->attrs[COLOR_standard__list__ListNode___prev].val = var5; /* _prev on <var_node:nullable ListNode[nullable Object]> */
-RET_LABEL6:(void)0;
-}
-}
-var8 = self->attrs[COLOR_standard__list__List___tail].val; /* _tail on <self:List[nullable Object]> */
-var9 = NULL;
-if (var8 == NULL) {
-var10 = 1; /* is null */
-} else {
-var10 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var8,var9) on <var8:nullable ListNode[nullable Object]> */
-var_other = var9;
-{
-{ /* Inline kernel#Object#is_same_instance (var8,var_other) on <var8:nullable ListNode[nullable Object](ListNode[nullable Object])> */
-var15 = var8 == var_other;
-var13 = var15;
-goto RET_LABEL14;
-RET_LABEL14:(void)0;
-}
-}