+var4 = var16;
+} else {
+var4 = var_;
+}
+if (var4){
+var20 = 3;
+var_behead = var20;
+var21 = 3;
+var_betail = var21;
+var23 = ((val* (*)(val*))(var_txt->class->vft[COLOR_string__AbstractString__chars]))(var_txt) /* chars on <var_txt:String>*/;
+var24 = 0;
+var25 = ((val* (*)(val*, long))(var23->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var23, var24) /* [] on <var23:StringCharView>*/;
+var26 = '\"';
+{ /* Inline kernel#Char#== (var25,var26) */
+var29 = (var25 != NULL) && (var25->class == &class_kernel__Char);
+if (var29) {
+var30 = ((struct instance_kernel__Char*)var25)->value; /* autounbox from nullable Object to Char */;
+var29 = (var30 == var26);
+}
+var27 = var29;
+goto RET_LABEL28;
+RET_LABEL28:(void)0;
+}
+var_31 = var27;
+if (var27){
+var32 = ((val* (*)(val*))(var_txt->class->vft[COLOR_string__AbstractString__chars]))(var_txt) /* chars on <var_txt:String>*/;
+var33 = 3;
+var34 = ((val* (*)(val*, long))(var32->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var32, var33) /* [] on <var32:StringCharView>*/;
+var35 = '\n';
+{ /* Inline kernel#Char#== (var34,var35) */
+var38 = (var34 != NULL) && (var34->class == &class_kernel__Char);
+if (var38) {
+var39 = ((struct instance_kernel__Char*)var34)->value; /* autounbox from nullable Object to Char */;
+var38 = (var39 == var35);
+}
+var36 = var38;
+goto RET_LABEL37;
+RET_LABEL37:(void)0;
+}
+var22 = var36;
+} else {
+var22 = var_31;