-var18 = ((long (*)(val*))(var_txt->class->vft[COLOR_abstract_collection__Collection__length]))(var_txt) /* length on <var_txt:String>*/;
-var19 = 2;
-{ /* Inline kernel#Int#* (var19,var_skip) */
-var22 = var19 * var_skip;
-var20 = var22;
-goto RET_LABEL21;
-RET_LABEL21:(void)0;
-}
-{ /* Inline kernel#Int#- (var18,var20) */
-var25 = var18 - var20;
-var23 = var25;
-goto RET_LABEL24;
-RET_LABEL24:(void)0;
+} else {
+}
+{
+{ /* Inline string#FlatText#length (var_txt) on <var_txt:String> */
+var56 = var_txt->attrs[COLOR_string__FlatText___length].l; /* _length on <var_txt:String> */
+var54 = var56;
+RET_LABEL55:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#- (var54,var_behead) on <var54:Int> */
+/* Covariant cast for argument 0 (i) <var_behead:Int> isa OTHER */
+/* <var_behead:Int> isa OTHER */
+var59 = 1; /* easy <var_behead:Int> isa OTHER*/
+if (unlikely(!var59)) {
+var_class_name62 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name62);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var63 = var54 - var_behead;
+var57 = var63;
+goto RET_LABEL58;
+RET_LABEL58:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#- (var57,var_betail) on <var57:Int> */
+/* Covariant cast for argument 0 (i) <var_betail:Int> isa OTHER */
+/* <var_betail:Int> isa OTHER */
+var66 = 1; /* easy <var_betail:Int> isa OTHER*/
+if (unlikely(!var66)) {
+var_class_name69 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name69);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var70 = var57 - var_betail;
+var64 = var70;
+goto RET_LABEL65;
+RET_LABEL65:(void)0;
+}
+}
+{
+var71 = string__FlatString__substring(var_txt, var_behead, var64);
+}
+{
+var72 = string__Text__unescape_nit(var71);
+}
+{
+{ /* Inline literal#AStringFormExpr#value= (self,var72) on <self:AStringFormExpr> */
+self->attrs[COLOR_literal__AStringFormExpr___value].val = var72; /* _value on <self:AStringFormExpr> */
+RET_LABEL73:(void)0;
+}