X-Git-Url: http://nitlanguage.org

diff --git a/c_src/string_search.sep.1.c b/c_src/string_search.sep.1.c
index 21a5c9d..8c38133 100644
--- a/c_src/string_search.sep.1.c
+++ b/c_src/string_search.sep.1.c
@@ -1,98 +1,8 @@
 #include "string_search.sep.0.h"
-/* method string_search#Pattern#search_index_in for (self: Pattern, String, Int): Int */
-long string_search__Pattern__search_index_in(val* self, val* p0, long p1) {
-long var /* : Int */;
-const char* var_class_name;
-var_class_name = self == NULL ? "null" : self->type->name;
-fprintf(stderr, "Runtime error: Abstract method `%s` called on `%s`", "search_index_in", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 20);
-exit(1);
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#search_index_in for (self: Object, String, Int): Int */
-long VIRTUAL_string_search__Pattern__search_index_in(val* self, val* p0, long p1) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = string_search__Pattern__search_index_in(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#search_in for (self: Pattern, String, Int): nullable Match */
-val* string_search__Pattern__search_in(val* self, val* p0, long p1) {
-val* var /* : nullable Match */;
-const char* var_class_name;
-var_class_name = self == NULL ? "null" : self->type->name;
-fprintf(stderr, "Runtime error: Abstract method `%s` called on `%s`", "search_in", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 25);
-exit(1);
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#search_in for (self: Object, String, Int): nullable Match */
-val* VIRTUAL_string_search__Pattern__search_in(val* self, val* p0, long p1) {
-val* var /* : nullable Match */;
-val* var1 /* : nullable Match */;
-var1 = string_search__Pattern__search_in(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#search_all_in for (self: Pattern, String): Array[Match] */
-val* string_search__Pattern__search_all_in(val* self, val* p0) {
-val* var /* : Array[Match] */;
-val* var_s /* var s: String */;
-val* var1 /* : Array[Match] */;
-val* var_res /* var res: Array[Match] */;
-long var2 /* : Int */;
-val* var3 /* : nullable Match */;
-val* var_match /* var match: nullable Match */;
-val* var4 /* : null */;
-short int var5 /* : Bool */;
-long var6 /* : Int */;
-val* var7 /* : nullable Match */;
-var_s = p0;
-var1 = NEW_array__Array(&type_array__Arraystring_search__Match);
-((void (*)(val*))(var1->class->vft[COLOR_array__Array__init]))(var1) /* init on <var1:Array[Match]>*/;
-CHECK_NEW_array__Array(var1);
-var_res = var1;
-var2 = 0;
-var3 = ((val* (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_in]))(self, var_s, var2) /* search_in on <self:Pattern>*/;
-var_match = var3;
-for(;;) {
-var4 = NULL;
-if (var_match == NULL) {
-var5 = 0; /* is null */
-} else {
-var5 = 1; /* arg is null and recv is not */
-}
-if (!var5) break;
-((void (*)(val*, val*))(var_res->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_res, var_match) /* add on <var_res:Array[Match]>*/;
-var6 = ((long (*)(val*))(var_match->class->vft[COLOR_string_search__Match__after]))(var_match) /* after on <var_match:nullable Match(Match)>*/;
-var7 = ((val* (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_in]))(self, var_s, var6) /* search_in on <self:Pattern>*/;
-var_match = var7;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-var = var_res;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#search_all_in for (self: Object, String): Array[Match] */
-val* VIRTUAL_string_search__Pattern__search_all_in(val* self, val* p0) {
-val* var /* : Array[Match] */;
-val* var1 /* : Array[Match] */;
-var1 = string_search__Pattern__search_all_in(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#split_in for (self: Pattern, String): Array[Match] */
+/* method string_search#Pattern#split_in for (self: Pattern, Text): Array[Match] */
 val* string_search__Pattern__split_in(val* self, val* p0) {
 val* var /* : Array[Match] */;
-val* var_s /* var s: String */;
+val* var_s /* var s: Text */;
 val* var1 /* : Array[Match] */;
 val* var_res /* var res: Array[Match] */;
 long var2 /* : Int */;
@@ -102,1498 +12,161 @@ val* var4 /* : nullable Match */;
 val* var_match /* var match: nullable Match */;
 val* var5 /* : null */;
 short int var6 /* : Bool */;
-long var7 /* : Int */;
-long var8 /* : Int */;
-long var10 /* : Int */;
-long var_len /* var len: Int */;
-val* var11 /* : Match */;
-long var12 /* : Int */;
-val* var13 /* : nullable Match */;
-val* var14 /* : Match */;
-long var15 /* : Int */;
-long var16 /* : Int */;
-long var18 /* : Int */;
-var_s = p0;
-var1 = NEW_array__Array(&type_array__Arraystring_search__Match);
-((void (*)(val*))(var1->class->vft[COLOR_array__Array__init]))(var1) /* init on <var1:Array[Match]>*/;
-CHECK_NEW_array__Array(var1);
-var_res = var1;
-var2 = 0;
-var_i = var2;
-var3 = 0;
-var4 = ((val* (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_in]))(self, var_s, var3) /* search_in on <self:Pattern>*/;
-var_match = var4;
-for(;;) {
-var5 = NULL;
-if (var_match == NULL) {
-var6 = 0; /* is null */
-} else {
-var6 = 1; /* arg is null and recv is not */
-}
-if (!var6) break;
-var7 = ((long (*)(val*))(var_match->class->vft[COLOR_string_search__Match__from]))(var_match) /* from on <var_match:nullable Match(Match)>*/;
-{ /* Inline kernel#Int#- (var7,var_i) */
-var10 = var7 - var_i;
-var8 = var10;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-var_len = var8;
-var11 = NEW_string_search__Match(&type_string_search__Match);
-((void (*)(val*, val*, long, long))(var11->class->vft[COLOR_string_search__Match__init]))(var11, var_s, var_i, var_len) /* init on <var11:Match>*/;
-CHECK_NEW_string_search__Match(var11);
-((void (*)(val*, val*))(var_res->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_res, var11) /* add on <var_res:Array[Match]>*/;
-var12 = ((long (*)(val*))(var_match->class->vft[COLOR_string_search__Match__after]))(var_match) /* after on <var_match:nullable Match(Match)>*/;
-var_i = var12;
-var13 = ((val* (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_in]))(self, var_s, var_i) /* search_in on <self:Pattern>*/;
-var_match = var13;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-var14 = NEW_string_search__Match(&type_string_search__Match);
-var15 = ((long (*)(val*))(var_s->class->vft[COLOR_abstract_collection__Collection__length]))(var_s) /* length on <var_s:String>*/;
-{ /* Inline kernel#Int#- (var15,var_i) */
-var18 = var15 - var_i;
-var16 = var18;
-goto RET_LABEL17;
-RET_LABEL17:(void)0;
-}
-((void (*)(val*, val*, long, long))(var14->class->vft[COLOR_string_search__Match__init]))(var14, var_s, var_i, var16) /* init on <var14:Match>*/;
-CHECK_NEW_string_search__Match(var14);
-((void (*)(val*, val*))(var_res->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_res, var14) /* add on <var_res:Array[Match]>*/;
-var = var_res;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#Pattern#split_in for (self: Object, String): Array[Match] */
-val* VIRTUAL_string_search__Pattern__split_in(val* self, val* p0) {
-val* var /* : Array[Match] */;
-val* var1 /* : Array[Match] */;
-var1 = string_search__Pattern__split_in(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#to_s for (self: BM_Pattern): String */
-val* string_search__BM_Pattern__to_s(val* self) {
-val* var /* : String */;
-val* var1 /* : String */;
-var1 = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 67);
-exit(1);
-}
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#to_s for (self: Object): String */
-val* VIRTUAL_string_search__BM_Pattern__to_s(val* self) {
-val* var /* : String */;
-val* var1 /* : String */;
-var1 = string_search__BM_Pattern__to_s(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#search_index_in for (self: BM_Pattern, String, Int): Int */
-long string_search__BM_Pattern__search_index_in(val* self, val* p0, long p1) {
-long var /* : Int */;
-val* var_s /* var s: String */;
-long var_from /* var from: Int */;
-long var1 /* : Int */;
-short int var2 /* : Bool */;
-short int var4 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-short int var5 /* : Bool */;
-long var6 /* : Int */;
-long var_n /* var n: Int */;
-long var7 /* : Int */;
-long var_m /* var m: Int */;
-long var_j /* var j: Int */;
-long var8 /* : Int */;
-long var10 /* : Int */;
-long var11 /* : Int */;
-long var12 /* : Int */;
-long var14 /* : Int */;
-short int var15 /* : Bool */;
-short int var17 /* : Bool */;
-int cltype18;
-int idtype19;
-const char* var_class_name20;
-short int var21 /* : Bool */;
-long var22 /* : Int */;
-long var23 /* : Int */;
-long var25 /* : Int */;
-long var_i /* var i: Int */;
-short int var26 /* : Bool */;
-long var27 /* : Int */;
-short int var28 /* : Bool */;
-short int var30 /* : Bool */;
-int cltype31;
-int idtype32;
-const char* var_class_name33;
-short int var34 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var35 /* : String */;
-val* var36 /* : nullable Object */;
-long var37 /* : Int */;
-long var39 /* : Int */;
-val* var40 /* : nullable Object */;
-short int var41 /* : Bool */;
-short int var43 /* : Bool */;
-long var44 /* : Int */;
-long var45 /* : Int */;
-long var47 /* : Int */;
-long var48 /* : Int */;
-short int var49 /* : Bool */;
-short int var51 /* : Bool */;
-int cltype52;
-int idtype53;
-const char* var_class_name54;
-short int var55 /* : Bool */;
-val* var56 /* : Array[Int] */;
-val* var57 /* : nullable Object */;
-long var58 /* : Int */;
-long var_gs /* var gs: Int */;
-long var59 /* : Int */;
-long var61 /* : Int */;
-val* var62 /* : nullable Object */;
-long var63 /* : Int */;
-char var64 /* : Char */;
-long var65 /* : Int */;
-long var67 /* : Int */;
-long var68 /* : Int */;
-long var69 /* : Int */;
-long var71 /* : Int */;
-long var72 /* : Int */;
-long var74 /* : Int */;
-long var_bc /* var bc: Int */;
-short int var75 /* : Bool */;
-short int var77 /* : Bool */;
-int cltype78;
-int idtype79;
-const char* var_class_name80;
-short int var81 /* : Bool */;
-long var82 /* : Int */;
-long var84 /* : Int */;
-long var85 /* : Int */;
-long var87 /* : Int */;
-long var89 /* : Int */;
-long var90 /* : Int */;
-long var92 /* : Int */;
-var_s = p0;
-var_from = p1;
-var1 = 0;
-{ /* Inline kernel#Int#>= (var_from,var1) */
-/* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
-/* <var1:Int> isa OTHER */
-var4 = 1; /* easy <var1:Int> isa OTHER*/
-if (!var4) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
-}
-var5 = var_from >= var1;
-var2 = var5;
-goto RET_LABEL3;
-RET_LABEL3:(void)0;
-}
-if (!var2) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 72);
-exit(1);
-}
-var6 = ((long (*)(val*))(var_s->class->vft[COLOR_abstract_collection__Collection__length]))(var_s) /* length on <var_s:String>*/;
-var_n = var6;
-var7 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-var_m = var7;
-var_j = var_from;
-for(;;) {
-{ /* Inline kernel#Int#- (var_n,var_m) */
-var10 = var_n - var_m;
-var8 = var10;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-var11 = 1;
-{ /* Inline kernel#Int#+ (var8,var11) */
-var14 = var8 + var11;
-var12 = var14;
-goto RET_LABEL13;
-RET_LABEL13:(void)0;
-}
-{ /* Inline kernel#Int#< (var_j,var12) */
-/* Covariant cast for argument 0 (i) <var12:Int> isa OTHER */
-/* <var12:Int> isa OTHER */
-var17 = 1; /* easy <var12:Int> isa OTHER*/
-if (!var17) {
-var_class_name20 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name20);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var21 = var_j < var12;
-var15 = var21;
-goto RET_LABEL16;
-RET_LABEL16:(void)0;
-}
-if (!var15) break;
-var22 = 1;
-{ /* Inline kernel#Int#- (var_m,var22) */
-var25 = var_m - var22;
-var23 = var25;
-goto RET_LABEL24;
-RET_LABEL24:(void)0;
-}
-var_i = var23;
-for(;;) {
-var27 = 0;
-{ /* Inline kernel#Int#>= (var_i,var27) */
-/* Covariant cast for argument 0 (i) <var27:Int> isa OTHER */
-/* <var27:Int> isa OTHER */
-var30 = 1; /* easy <var27:Int> isa OTHER*/
-if (!var30) {
-var_class_name33 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name33);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
-}
-var34 = var_i >= var27;
-var28 = var34;
-goto RET_LABEL29;
-RET_LABEL29:(void)0;
-}
-var_ = var28;
-if (var28){
-var35 = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var35 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 79);
-exit(1);
-}
-var36 = ((val* (*)(val*, long))(var35->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var35, var_i) /* [] on <var35:String>*/;
-{ /* Inline kernel#Int#+ (var_i,var_j) */
-var39 = var_i + var_j;
-var37 = var39;
-goto RET_LABEL38;
-RET_LABEL38:(void)0;
-}
-var40 = ((val* (*)(val*, long))(var_s->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_s, var37) /* [] on <var_s:String>*/;
-{ /* Inline kernel#Char#== (var36,var40) */
-var43 = var36 == var40 || (((struct instance_kernel__Char*)var36)->value == ((struct instance_kernel__Char*)var40)->value);
-var41 = var43;
-goto RET_LABEL42;
-RET_LABEL42:(void)0;
-}
-var26 = var41;
-} else {
-var26 = var_;
-}
-if (!var26) break;
-var44 = 1;
-{ /* Inline kernel#Int#- (var_i,var44) */
-var47 = var_i - var44;
-var45 = var47;
-goto RET_LABEL46;
-RET_LABEL46:(void)0;
-}
-var_i = var45;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-var48 = 0;
-{ /* Inline kernel#Int#< (var_i,var48) */
-/* Covariant cast for argument 0 (i) <var48:Int> isa OTHER */
-/* <var48:Int> isa OTHER */
-var51 = 1; /* easy <var48:Int> isa OTHER*/
-if (!var51) {
-var_class_name54 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name54);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var55 = var_i < var48;
-var49 = var55;
-goto RET_LABEL50;
-RET_LABEL50:(void)0;
-}
-if (var49){
-var = var_j;
-goto RET_LABEL;
-} else {
-var56 = self->attrs[COLOR_string_search__BM_Pattern___gs].val; /* _gs on <self:BM_Pattern> */
-if (var56 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _gs");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 83);
-exit(1);
-}
-var57 = ((val* (*)(val*, long))(var56->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var56, var_i) /* [] on <var56:Array[Int]>*/;
-var58 = ((struct instance_kernel__Int*)var57)->value; /* autounbox from nullable Object to Int */;
-var_gs = var58;
-{ /* Inline kernel#Int#+ (var_i,var_j) */
-var61 = var_i + var_j;
-var59 = var61;
-goto RET_LABEL60;
-RET_LABEL60:(void)0;
-}
-var62 = ((val* (*)(val*, long))(var_s->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_s, var59) /* [] on <var_s:String>*/;
-var64 = ((struct instance_kernel__Char*)var62)->value; /* autounbox from nullable Object to Char */;
-var63 = ((long (*)(val*, char))(self->class->vft[COLOR_string_search__BM_Pattern__bc]))(self, var64) /* bc on <self:BM_Pattern>*/;
-{ /* Inline kernel#Int#- (var63,var_m) */
-var67 = var63 - var_m;
-var65 = var67;
-goto RET_LABEL66;
-RET_LABEL66:(void)0;
-}
-var68 = 1;
-{ /* Inline kernel#Int#+ (var65,var68) */
-var71 = var65 + var68;
-var69 = var71;
-goto RET_LABEL70;
-RET_LABEL70:(void)0;
-}
-{ /* Inline kernel#Int#+ (var69,var_i) */
-var74 = var69 + var_i;
-var72 = var74;
-goto RET_LABEL73;
-RET_LABEL73:(void)0;
-}
-var_bc = var72;
-{ /* Inline kernel#Int#> (var_gs,var_bc) */
-/* Covariant cast for argument 0 (i) <var_bc:Int> isa OTHER */
-/* <var_bc:Int> isa OTHER */
-var77 = 1; /* easy <var_bc:Int> isa OTHER*/
-if (!var77) {
-var_class_name80 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name80);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
-}
-var81 = var_gs > var_bc;
-var75 = var81;
-goto RET_LABEL76;
-RET_LABEL76:(void)0;
-}
-if (var75){
-{ /* Inline kernel#Int#+ (var_j,var_gs) */
-var84 = var_j + var_gs;
-var82 = var84;
-goto RET_LABEL83;
-RET_LABEL83:(void)0;
-}
-var_j = var82;
-} else {
-{ /* Inline kernel#Int#+ (var_j,var_bc) */
-var87 = var_j + var_bc;
-var85 = var87;
-goto RET_LABEL86;
-RET_LABEL86:(void)0;
-}
-var_j = var85;
-}
-}
-CONTINUE_label88: (void)0;
-}
-BREAK_label88: (void)0;
-var89 = 1;
-{ /* Inline kernel#Int#unary - (var89) */
-var92 = -var89;
-var90 = var92;
-goto RET_LABEL91;
-RET_LABEL91:(void)0;
-}
-var = var90;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#search_index_in for (self: Object, String, Int): Int */
-long VIRTUAL_string_search__BM_Pattern__search_index_in(val* self, val* p0, long p1) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = string_search__BM_Pattern__search_index_in(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#search_in for (self: BM_Pattern, String, Int): nullable Match */
-val* string_search__BM_Pattern__search_in(val* self, val* p0, long p1) {
-val* var /* : nullable Match */;
-val* var_s /* var s: String */;
-long var_from /* var from: Int */;
-long var1 /* : Int */;
-long var_to /* var to: Int */;
-long var2 /* : Int */;
-short int var3 /* : Bool */;
-short int var5 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-short int var6 /* : Bool */;
-val* var7 /* : null */;
-val* var8 /* : Match */;
-long var9 /* : Int */;
-var_s = p0;
-var_from = p1;
-var1 = ((long (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_index_in]))(self, var_s, var_from) /* search_index_in on <self:BM_Pattern>*/;
-var_to = var1;
-var2 = 0;
-{ /* Inline kernel#Int#< (var_to,var2) */
-/* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
-/* <var2:Int> isa OTHER */
-var5 = 1; /* easy <var2:Int> isa OTHER*/
-if (!var5) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var6 = var_to < var2;
-var3 = var6;
-goto RET_LABEL4;
-RET_LABEL4:(void)0;
-}
-if (var3){
-var7 = NULL;
-var = var7;
-goto RET_LABEL;
-} else {
-var8 = NEW_string_search__Match(&type_string_search__Match);
-var9 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-((void (*)(val*, val*, long, long))(var8->class->vft[COLOR_string_search__Match__init]))(var8, var_s, var_to, var9) /* init on <var8:Match>*/;
-CHECK_NEW_string_search__Match(var8);
-var = var8;
-goto RET_LABEL;
-}
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#search_in for (self: Object, String, Int): nullable Match */
-val* VIRTUAL_string_search__BM_Pattern__search_in(val* self, val* p0, long p1) {
-val* var /* : nullable Match */;
-val* var1 /* : nullable Match */;
-var1 = string_search__BM_Pattern__search_in(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#init for (self: BM_Pattern, String) */
-void string_search__BM_Pattern__init(val* self, val* p0) {
-val* var_motif /* var motif: String */;
-long var /* : Int */;
-val* var1 /* : Array[Int] */;
-long var2 /* : Int */;
-val* var3 /* : ArrayMap[Char, Int] */;
-var_motif = p0;
-self->attrs[COLOR_string_search__BM_Pattern___motif].val = var_motif; /* _motif on <self:BM_Pattern> */
-var = ((long (*)(val*))(var_motif->class->vft[COLOR_abstract_collection__Collection__length]))(var_motif) /* length on <var_motif:String>*/;
-self->attrs[COLOR_string_search__BM_Pattern___length].l = var; /* _length on <self:BM_Pattern> */
-var1 = NEW_array__Array(&type_array__Arraykernel__Int);
-var2 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-((void (*)(val*, long))(var1->class->vft[COLOR_array__Array__with_capacity]))(var1, var2) /* with_capacity on <var1:Array[Int]>*/;
-CHECK_NEW_array__Array(var1);
-self->attrs[COLOR_string_search__BM_Pattern___gs].val = var1; /* _gs on <self:BM_Pattern> */
-var3 = NEW_array__ArrayMap(&type_array__ArrayMapkernel__Charkernel__Int);
-((void (*)(val*))(var3->class->vft[COLOR_array__ArrayMap__init]))(var3) /* init on <var3:ArrayMap[Char, Int]>*/;
-CHECK_NEW_array__ArrayMap(var3);
-self->attrs[COLOR_string_search__BM_Pattern___bc_table].val = var3; /* _bc_table on <self:BM_Pattern> */
-((void (*)(val*))(self->class->vft[COLOR_string_search__BM_Pattern__compute_gs]))(self) /* compute_gs on <self:BM_Pattern>*/;
-((void (*)(val*))(self->class->vft[COLOR_string_search__BM_Pattern__compute_bc]))(self) /* compute_bc on <self:BM_Pattern>*/;
-RET_LABEL:;
-}
-/* method string_search#BM_Pattern#init for (self: Object, String) */
-void VIRTUAL_string_search__BM_Pattern__init(val* self, val* p0) {
-string_search__BM_Pattern__init(self, p0);
-RET_LABEL:;
-}
-/* method string_search#BM_Pattern#bc for (self: BM_Pattern, Char): Int */
-long string_search__BM_Pattern__bc(val* self, char p0) {
-long var /* : Int */;
-char var_e /* var e: Char */;
-val* var1 /* : Map[Char, Int] */;
-short int var2 /* : Bool */;
-val* var3 /* : Object */;
-val* var4 /* : Map[Char, Int] */;
-val* var5 /* : nullable Object */;
-val* var6 /* : Object */;
-long var7 /* : Int */;
-long var8 /* : Int */;
-var_e = p0;
-var1 = self->attrs[COLOR_string_search__BM_Pattern___bc_table].val; /* _bc_table on <self:BM_Pattern> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _bc_table");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 126);
-exit(1);
-}
-var3 = BOX_kernel__Char(var_e); /* autobox from Char to Object */
-var2 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapRead__has_key]))(var1, var3) /* has_key on <var1:Map[Char, Int]>*/;
-if (var2){
-var4 = self->attrs[COLOR_string_search__BM_Pattern___bc_table].val; /* _bc_table on <self:BM_Pattern> */
-if (var4 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _bc_table");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 127);
-exit(1);
-}
-var6 = BOX_kernel__Char(var_e); /* autobox from Char to Object */
-var5 = ((val* (*)(val*, val*))(var4->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var4, var6) /* [] on <var4:Map[Char, Int]>*/;
-var7 = ((struct instance_kernel__Int*)var5)->value; /* autounbox from nullable Object to Int */;
-var = var7;
-goto RET_LABEL;
-} else {
-var8 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-var = var8;
-goto RET_LABEL;
-}
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#bc for (self: Object, Char): Int */
-long VIRTUAL_string_search__BM_Pattern__bc(val* self, char p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = string_search__BM_Pattern__bc(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#compute_bc for (self: BM_Pattern) */
-void string_search__BM_Pattern__compute_bc(val* self) {
-val* var /* : String */;
-val* var_x /* var x: String */;
-long var1 /* : Int */;
-long var_m /* var m: Int */;
-long var2 /* : Int */;
-long var_i /* var i: Int */;
-long var3 /* : Int */;
-long var4 /* : Int */;
-long var6 /* : Int */;
 short int var7 /* : Bool */;
+val* var_other /* var other: nullable Object */;
 short int var9 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
 short int var10 /* : Bool */;
-val* var11 /* : Map[Char, Int] */;
-val* var12 /* : nullable Object */;
-long var13 /* : Int */;
-long var15 /* : Int */;
-long var16 /* : Int */;
-long var17 /* : Int */;
-long var19 /* : Int */;
-val* var20 /* : nullable Object */;
-long var21 /* : Int */;
-long var22 /* : Int */;
-long var24 /* : Int */;
-var = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 141);
-exit(1);
-}
-var_x = var;
-var1 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-var_m = var1;
-var2 = 0;
-var_i = var2;
-for(;;) {
-var3 = 1;
-{ /* Inline kernel#Int#- (var_m,var3) */
-var6 = var_m - var3;
-var4 = var6;
-goto RET_LABEL5;
-RET_LABEL5:(void)0;
-}
-{ /* Inline kernel#Int#< (var_i,var4) */
-/* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
-/* <var4:Int> isa OTHER */
-var9 = 1; /* easy <var4:Int> isa OTHER*/
-if (!var9) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var10 = var_i < var4;
-var7 = var10;
-goto RET_LABEL8;
-RET_LABEL8:(void)0;
-}
-if (!var7) break;
-var11 = self->attrs[COLOR_string_search__BM_Pattern___bc_table].val; /* _bc_table on <self:BM_Pattern> */
-if (var11 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _bc_table");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 145);
-exit(1);
-}
-var12 = ((val* (*)(val*, long))(var_x->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_x, var_i) /* [] on <var_x:String>*/;
-{ /* Inline kernel#Int#- (var_m,var_i) */
-var15 = var_m - var_i;
-var13 = var15;
-goto RET_LABEL14;
-RET_LABEL14:(void)0;
-}
-var16 = 1;
-{ /* Inline kernel#Int#- (var13,var16) */
-var19 = var13 - var16;
-var17 = var19;
-goto RET_LABEL18;
-RET_LABEL18:(void)0;
-}
-var20 = BOX_kernel__Int(var17); /* autobox from Int to nullable Object */
-((void (*)(val*, val*, val*))(var11->class->vft[COLOR_abstract_collection__Map___91d_93d_61d]))(var11, var12, var20) /* []= on <var11:Map[Char, Int]>*/;
-var21 = 1;
-{ /* Inline kernel#Int#+ (var_i,var21) */
-var24 = var_i + var21;
-var22 = var24;
-goto RET_LABEL23;
-RET_LABEL23:(void)0;
-}
-var_i = var22;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-RET_LABEL:;
-}
-/* method string_search#BM_Pattern#compute_bc for (self: Object) */
-void VIRTUAL_string_search__BM_Pattern__compute_bc(val* self) {
-string_search__BM_Pattern__compute_bc(self);
-RET_LABEL:;
-}
-/* method string_search#BM_Pattern#suffixes for (self: BM_Pattern): Array[Int] */
-val* string_search__BM_Pattern__suffixes(val* self) {
-val* var /* : Array[Int] */;
-val* var1 /* : String */;
-val* var_x /* var x: String */;
-long var2 /* : Int */;
-long var_m /* var m: Int */;
-val* var3 /* : Array[Int] */;
-val* var4 /* : nullable Object */;
-val* var_suff /* var suff: Array[Int] */;
-long var5 /* : Int */;
-long var_f /* var f: Int */;
-long var6 /* : Int */;
-long var7 /* : Int */;
-long var9 /* : Int */;
-long var_g /* var g: Int */;
-long var10 /* : Int */;
-long var11 /* : Int */;
-long var13 /* : Int */;
-long var_i /* var i: Int */;
+short int var11 /* : Bool */;
+long var12 /* : Int */;
 long var14 /* : Int */;
-short int var15 /* : Bool */;
+long var15 /* : Int */;
 short int var17 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
-short int var18 /* : Bool */;
-short int var19 /* : Bool */;
-short int var20 /* : Bool */;
-short int var22 /* : Bool */;
-int cltype23;
-int idtype24;
-const char* var_class_name25;
-short int var26 /* : Bool */;
-short int var_ /* var : Bool */;
-long var27 /* : Int */;
-long var29 /* : Int */;
-long var30 /* : Int */;
-long var31 /* : Int */;
-long var33 /* : Int */;
-long var34 /* : Int */;
-long var36 /* : Int */;
-val* var37 /* : nullable Object */;
-long var38 /* : Int */;
-long var40 /* : Int */;
-short int var41 /* : Bool */;
-short int var43 /* : Bool */;
-int cltype44;
-int idtype45;
-const char* var_class_name46;
-long var47 /* : Int */;
-short int var48 /* : Bool */;
-long var49 /* : Int */;
-long var51 /* : Int */;
-long var52 /* : Int */;
-long var53 /* : Int */;
-long var55 /* : Int */;
-long var56 /* : Int */;
-long var58 /* : Int */;
-val* var59 /* : nullable Object */;
-short int var60 /* : Bool */;
-short int var62 /* : Bool */;
-int cltype63;
-int idtype64;
-const char* var_class_name65;
-short int var66 /* : Bool */;
-short int var67 /* : Bool */;
-long var68 /* : Int */;
-short int var69 /* : Bool */;
-short int var71 /* : Bool */;
-int cltype72;
-int idtype73;
-const char* var_class_name74;
-short int var75 /* : Bool */;
-short int var_76 /* var : Bool */;
-val* var77 /* : nullable Object */;
-long var78 /* : Int */;
-long var80 /* : Int */;
-long var81 /* : Int */;
-long var82 /* : Int */;
-long var84 /* : Int */;
-long var85 /* : Int */;
-long var87 /* : Int */;
-val* var88 /* : nullable Object */;
-short int var89 /* : Bool */;
-short int var91 /* : Bool */;
-long var92 /* : Int */;
-long var93 /* : Int */;
-long var95 /* : Int */;
-long var96 /* : Int */;
-long var98 /* : Int */;
-val* var99 /* : nullable Object */;
-long var100 /* : Int */;
-long var101 /* : Int */;
-long var103 /* : Int */;
-var1 = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 152);
-exit(1);
-}
-var_x = var1;
-var2 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-var_m = var2;
-var3 = NEW_array__Array(&type_array__Arraykernel__Int);
-var4 = BOX_kernel__Int(var_m); /* autobox from Int to nullable Object */
-((void (*)(val*, val*, long))(var3->class->vft[COLOR_array__Array__filled_with]))(var3, var4, var_m) /* filled_with on <var3:Array[Int]>*/;
-CHECK_NEW_array__Array(var3);
-var_suff = var3;
-var5 = 0;
-var_f = var5;
-var6 = 1;
-{ /* Inline kernel#Int#- (var_m,var6) */
-var9 = var_m - var6;
-var7 = var9;
-goto RET_LABEL8;
-RET_LABEL8:(void)0;
-}
-var_g = var7;
-var10 = 2;
-{ /* Inline kernel#Int#- (var_m,var10) */
-var13 = var_m - var10;
-var11 = var13;
-goto RET_LABEL12;
-RET_LABEL12:(void)0;
-}
-var_i = var11;
-for(;;) {
-var14 = 0;
-{ /* Inline kernel#Int#>= (var_i,var14) */
-/* Covariant cast for argument 0 (i) <var14:Int> isa OTHER */
-/* <var14:Int> isa OTHER */
-var17 = 1; /* easy <var14:Int> isa OTHER*/
-if (!var17) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
-}
-var18 = var_i >= var14;
-var15 = var18;
-goto RET_LABEL16;
-RET_LABEL16:(void)0;
-}
-if (!var15) break;
-{ /* Inline kernel#Int#> (var_i,var_g) */
-/* Covariant cast for argument 0 (i) <var_g:Int> isa OTHER */
-/* <var_g:Int> isa OTHER */
-var22 = 1; /* easy <var_g:Int> isa OTHER*/
-if (!var22) {
-var_class_name25 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
-}
-var26 = var_i > var_g;
-var20 = var26;
-goto RET_LABEL21;
-RET_LABEL21:(void)0;
-}
-var_ = var20;
-if (var20){
-{ /* Inline kernel#Int#+ (var_i,var_m) */
-var29 = var_i + var_m;
-var27 = var29;
-goto RET_LABEL28;
-RET_LABEL28:(void)0;
-}
-var30 = 1;
-{ /* Inline kernel#Int#- (var27,var30) */
-var33 = var27 - var30;
-var31 = var33;
-goto RET_LABEL32;
-RET_LABEL32:(void)0;
-}
-{ /* Inline kernel#Int#- (var31,var_f) */
-var36 = var31 - var_f;
-var34 = var36;
-goto RET_LABEL35;
-RET_LABEL35:(void)0;
-}
-var37 = ((val* (*)(val*, long))(var_suff->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_suff, var34) /* [] on <var_suff:Array[Int]>*/;
-{ /* Inline kernel#Int#- (var_i,var_g) */
-var40 = var_i - var_g;
-var38 = var40;
-goto RET_LABEL39;
-RET_LABEL39:(void)0;
-}
-{ /* Inline kernel#Int#< (var37,var38) */
-/* Covariant cast for argument 0 (i) <var38:Int> isa OTHER */
-/* <var38:Int> isa OTHER */
-var43 = 1; /* easy <var38:Int> isa OTHER*/
-if (!var43) {
-var_class_name46 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name46);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var47 = ((struct instance_kernel__Int*)var37)->value; /* autounbox from nullable Object to Int */;
-var48 = var47 < var38;
-var41 = var48;
-goto RET_LABEL42;
-RET_LABEL42:(void)0;
-}
-var19 = var41;
-} else {
-var19 = var_;
-}
-if (var19){
-{ /* Inline kernel#Int#+ (var_i,var_m) */
-var51 = var_i + var_m;
-var49 = var51;
-goto RET_LABEL50;
-RET_LABEL50:(void)0;
-}
-var52 = 1;
-{ /* Inline kernel#Int#- (var49,var52) */
-var55 = var49 - var52;
-var53 = var55;
-goto RET_LABEL54;
-RET_LABEL54:(void)0;
-}
-{ /* Inline kernel#Int#- (var53,var_f) */
-var58 = var53 - var_f;
-var56 = var58;
-goto RET_LABEL57;
-RET_LABEL57:(void)0;
-}
-var59 = ((val* (*)(val*, long))(var_suff->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_suff, var56) /* [] on <var_suff:Array[Int]>*/;
-((void (*)(val*, long, val*))(var_suff->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(var_suff, var_i, var59) /* []= on <var_suff:Array[Int]>*/;
-} else {
-{ /* Inline kernel#Int#< (var_i,var_g) */
-/* Covariant cast for argument 0 (i) <var_g:Int> isa OTHER */
-/* <var_g:Int> isa OTHER */
-var62 = 1; /* easy <var_g:Int> isa OTHER*/
-if (!var62) {
-var_class_name65 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name65);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var66 = var_i < var_g;
-var60 = var66;
-goto RET_LABEL61;
-RET_LABEL61:(void)0;
-}
-if (var60){
-var_g = var_i;
-} else {
-}
-var_f = var_i;
-for(;;) {
-var68 = 0;
-{ /* Inline kernel#Int#>= (var_g,var68) */
-/* Covariant cast for argument 0 (i) <var68:Int> isa OTHER */
-/* <var68:Int> isa OTHER */
-var71 = 1; /* easy <var68:Int> isa OTHER*/
-if (!var71) {
-var_class_name74 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name74);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
-}
-var75 = var_g >= var68;
-var69 = var75;
-goto RET_LABEL70;
-RET_LABEL70:(void)0;
-}
-var_76 = var69;
-if (var69){
-var77 = ((val* (*)(val*, long))(var_x->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_x, var_g) /* [] on <var_x:String>*/;
-{ /* Inline kernel#Int#+ (var_g,var_m) */
-var80 = var_g + var_m;
-var78 = var80;
-goto RET_LABEL79;
-RET_LABEL79:(void)0;
-}
-var81 = 1;
-{ /* Inline kernel#Int#- (var78,var81) */
-var84 = var78 - var81;
-var82 = var84;
-goto RET_LABEL83;
-RET_LABEL83:(void)0;
-}
-{ /* Inline kernel#Int#- (var82,var_f) */
-var87 = var82 - var_f;
-var85 = var87;
-goto RET_LABEL86;
-RET_LABEL86:(void)0;
-}
-var88 = ((val* (*)(val*, long))(var_x->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_x, var85) /* [] on <var_x:String>*/;
-{ /* Inline kernel#Char#== (var77,var88) */
-var91 = var77 == var88 || (((struct instance_kernel__Char*)var77)->value == ((struct instance_kernel__Char*)var88)->value);
-var89 = var91;
-goto RET_LABEL90;
-RET_LABEL90:(void)0;
-}
-var67 = var89;
-} else {
-var67 = var_76;
-}
-if (!var67) break;
-var92 = 1;
-{ /* Inline kernel#Int#- (var_g,var92) */
-var95 = var_g - var92;
-var93 = var95;
-goto RET_LABEL94;
-RET_LABEL94:(void)0;
-}
-var_g = var93;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-{ /* Inline kernel#Int#- (var_f,var_g) */
-var98 = var_f - var_g;
-var96 = var98;
-goto RET_LABEL97;
-RET_LABEL97:(void)0;
-}
-var99 = BOX_kernel__Int(var96); /* autobox from Int to nullable Object */
-((void (*)(val*, long, val*))(var_suff->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(var_suff, var_i, var99) /* []= on <var_suff:Array[Int]>*/;
-}
-var100 = 1;
-{ /* Inline kernel#Int#- (var_i,var100) */
-var103 = var_i - var100;
-var101 = var103;
-goto RET_LABEL102;
-RET_LABEL102:(void)0;
-}
-var_i = var101;
-CONTINUE_label104: (void)0;
-}
-BREAK_label104: (void)0;
-var = var_suff;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#suffixes for (self: Object): Array[Int] */
-val* VIRTUAL_string_search__BM_Pattern__suffixes(val* self) {
-val* var /* : Array[Int] */;
-val* var1 /* : Array[Int] */;
-var1 = string_search__BM_Pattern__suffixes(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#BM_Pattern#compute_gs for (self: BM_Pattern) */
-void string_search__BM_Pattern__compute_gs(val* self) {
-val* var /* : String */;
-val* var_x /* var x: String */;
-long var1 /* : Int */;
-long var_m /* var m: Int */;
-val* var2 /* : Array[Int] */;
-val* var_suff /* var suff: Array[Int] */;
-long var3 /* : Int */;
-long var_i /* var i: Int */;
-short int var4 /* : Bool */;
-short int var6 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-short int var7 /* : Bool */;
-val* var8 /* : Array[Int] */;
-val* var9 /* : nullable Object */;
-long var10 /* : Int */;
-long var11 /* : Int */;
-long var13 /* : Int */;
-long var14 /* : Int */;
-long var_j /* var j: Int */;
-long var15 /* : Int */;
-long var16 /* : Int */;
 long var18 /* : Int */;
-long var19 /* : Int */;
-long var20 /* : Int */;
-long var22 /* : Int */;
-short int var23 /* : Bool */;
-short int var25 /* : Bool */;
-int cltype26;
-int idtype27;
-const char* var_class_name28;
-short int var29 /* : Bool */;
+long var_len /* var len: Int */;
+val* var19 /* : Match */;
+val* var20 /* : String */;
+long var21 /* : Int */;
+val* var22 /* : nullable Match */;
+val* var23 /* : Match */;
+val* var24 /* : String */;
+long var25 /* : Int */;
+long var27 /* : Int */;
+long var28 /* : Int */;
 short int var30 /* : Bool */;
-long var31 /* : Int */;
-long var32 /* : Int */;
+int cltype31;
+int idtype32;
+const char* var_class_name33;
 long var34 /* : Int */;
-short int var35 /* : Bool */;
-short int var37 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var38 /* : nullable Object */;
-long var39 /* : Int */;
-long var40 /* : Int */;
-long var42 /* : Int */;
-short int var43 /* : Bool */;
-short int var45 /* : Bool */;
-long var46 /* : Int */;
-long var47 /* : Int */;
-long var48 /* : Int */;
-long var50 /* : Int */;
-long var51 /* : Int */;
-long var53 /* : Int */;
-short int var54 /* : Bool */;
-short int var56 /* : Bool */;
-int cltype57;
-int idtype58;
-const char* var_class_name59;
-short int var60 /* : Bool */;
-val* var61 /* : Array[Int] */;
-val* var62 /* : nullable Object */;
-short int var63 /* : Bool */;
-short int var65 /* : Bool */;
-long var66 /* : Int */;
-val* var67 /* : Array[Int] */;
-long var68 /* : Int */;
-long var69 /* : Int */;
-long var71 /* : Int */;
-long var72 /* : Int */;
-long var74 /* : Int */;
-val* var75 /* : nullable Object */;
-long var76 /* : Int */;
-long var77 /* : Int */;
-long var79 /* : Int */;
-long var81 /* : Int */;
-long var82 /* : Int */;
-long var84 /* : Int */;
-long var86 /* : Int */;
-long var87 /* : Int */;
-long var88 /* : Int */;
-long var90 /* : Int */;
-short int var91 /* : Bool */;
-short int var93 /* : Bool */;
-int cltype94;
-int idtype95;
-const char* var_class_name96;
-short int var97 /* : Bool */;
-val* var98 /* : Array[Int] */;
-long var99 /* : Int */;
-long var100 /* : Int */;
-long var102 /* : Int */;
-val* var103 /* : nullable Object */;
-long var104 /* : Int */;
-long var106 /* : Int */;
-long var107 /* : Int */;
-long var108 /* : Int */;
-long var109 /* : Int */;
-long var111 /* : Int */;
-long var112 /* : Int */;
-long var114 /* : Int */;
-val* var115 /* : nullable Object */;
-long var116 /* : Int */;
-long var117 /* : Int */;
-long var119 /* : Int */;
-var = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 175);
-exit(1);
-}
-var_x = var;
-var1 = self->attrs[COLOR_string_search__BM_Pattern___length].l; /* _length on <self:BM_Pattern> */
-var_m = var1;
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_string_search__BM_Pattern__suffixes]))(self) /* suffixes on <self:BM_Pattern>*/;
-var_suff = var2;
-var3 = 0;
-var_i = var3;
-for(;;) {
-{ /* Inline kernel#Int#< (var_i,var_m) */
-/* Covariant cast for argument 0 (i) <var_m:Int> isa OTHER */
-/* <var_m:Int> isa OTHER */
-var6 = 1; /* easy <var_m:Int> isa OTHER*/
-if (!var6) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var7 = var_i < var_m;
-var4 = var7;
-goto RET_LABEL5;
-RET_LABEL5:(void)0;
+var_s = p0;
+var1 = NEW_array__Array(&type_array__Arraystring_search__Match);
+{
+((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:Array[Match]>*/;
 }
-if (!var4) break;
-var8 = self->attrs[COLOR_string_search__BM_Pattern___gs].val; /* _gs on <self:BM_Pattern> */
-if (var8 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _gs");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 180);
-exit(1);
+var_res = var1;
+var2 = 0;
+var_i = var2;
+var3 = 0;
+{
+var4 = ((val* (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_in]))(self, var_s, var3) /* search_in on <self:Pattern>*/;
 }
-var9 = BOX_kernel__Int(var_m); /* autobox from Int to nullable Object */
-((void (*)(val*, long, val*))(var8->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(var8, var_i, var9) /* []= on <var8:Array[Int]>*/;
-var10 = 1;
-{ /* Inline kernel#Int#+ (var_i,var10) */
-var13 = var_i + var10;
-var11 = var13;
-goto RET_LABEL12;
-RET_LABEL12:(void)0;
+var_match = var4;
+for(;;) {
+var5 = NULL;
+if (var_match == NULL) {
+var6 = 0; /* is null */
+} else {
+var6 = 1; /* arg is null and recv is not */
 }
-var_i = var11;
-CONTINUE_label: (void)0;
+if (0) {
+{ /* Inline kernel#Object#!= (var_match,var5) on <var_match:nullable Match> */
+var_other = var5;
+{
+var10 = ((short int (*)(val*, val*))(var_match->class->vft[COLOR_kernel__Object___61d_61d]))(var_match, var_other) /* == on <var_match:nullable Match(Match)>*/;
+var9 = var10;
 }
-BREAK_label: (void)0;
-var14 = 0;
-var_j = var14;
-var15 = 1;
-{ /* Inline kernel#Int#- (var_m,var15) */
-var18 = var_m - var15;
-var16 = var18;
-goto RET_LABEL17;
-RET_LABEL17:(void)0;
+var11 = !var9;
+var7 = var11;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
 }
-var_i = var16;
-for(;;) {
-var19 = 1;
-{ /* Inline kernel#Int#unary - (var19) */
-var22 = -var19;
-var20 = var22;
-goto RET_LABEL21;
-RET_LABEL21:(void)0;
+var6 = var7;
 }
-{ /* Inline kernel#Int#>= (var_i,var20) */
-/* Covariant cast for argument 0 (i) <var20:Int> isa OTHER */
-/* <var20:Int> isa OTHER */
-var25 = 1; /* easy <var20:Int> isa OTHER*/
-if (!var25) {
-var_class_name28 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+if (var6){
+{
+{ /* Inline string_search#Match#from (var_match) on <var_match:nullable Match(Match)> */
+var14 = var_match->attrs[COLOR_string_search__Match___from].l; /* _from on <var_match:nullable Match(Match)> */
+var12 = var14;
+RET_LABEL13:(void)0;
 }
-var29 = var_i >= var20;
-var23 = var29;
-goto RET_LABEL24;
-RET_LABEL24:(void)0;
 }
-if (!var23) break;
-var31 = 1;
-{ /* Inline kernel#Int#unary - (var31) */
-var34 = -var31;
-var32 = var34;
-goto RET_LABEL33;
-RET_LABEL33:(void)0;
-}
-{ /* Inline kernel#Int#== (var_i,var32) */
-var37 = var_i == var32;
-var35 = var37;
-goto RET_LABEL36;
-RET_LABEL36:(void)0;
-}
-var_ = var35;
-if (var35){
-var30 = var_;
-} else {
-var38 = ((val* (*)(val*, long))(var_suff->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_suff, var_i) /* [] on <var_suff:Array[Int]>*/;
-var39 = 1;
-{ /* Inline kernel#Int#+ (var_i,var39) */
-var42 = var_i + var39;
-var40 = var42;
-goto RET_LABEL41;
-RET_LABEL41:(void)0;
-}
-{ /* Inline kernel#Int#== (var38,var40) */
-var45 = (var38 != NULL) && (var38->class == &class_kernel__Int);
-if (var45) {
-var46 = ((struct instance_kernel__Int*)var38)->value; /* autounbox from nullable Object to Int */;
-var45 = (var46 == var40);
-}
-var43 = var45;
-goto RET_LABEL44;
-RET_LABEL44:(void)0;
-}
-var30 = var43;
-}
-if (var30){
-for(;;) {
-var47 = 1;
-{ /* Inline kernel#Int#- (var_m,var47) */
-var50 = var_m - var47;
-var48 = var50;
-goto RET_LABEL49;
-RET_LABEL49:(void)0;
-}
-{ /* Inline kernel#Int#- (var48,var_i) */
-var53 = var48 - var_i;
-var51 = var53;
-goto RET_LABEL52;
-RET_LABEL52:(void)0;
-}
-{ /* Inline kernel#Int#< (var_j,var51) */
-/* Covariant cast for argument 0 (i) <var51:Int> isa OTHER */
-/* <var51:Int> isa OTHER */
-var56 = 1; /* easy <var51:Int> isa OTHER*/
-if (!var56) {
-var_class_name59 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name59);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var60 = var_j < var51;
-var54 = var60;
-goto RET_LABEL55;
-RET_LABEL55:(void)0;
-}
-if (!var54) break;
-var61 = self->attrs[COLOR_string_search__BM_Pattern___gs].val; /* _gs on <self:BM_Pattern> */
-if (var61 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _gs");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 188);
-exit(1);
-}
-var62 = ((val* (*)(val*, long))(var61->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var61, var_j) /* [] on <var61:Array[Int]>*/;
-{ /* Inline kernel#Int#== (var62,var_m) */
-var65 = (var62 != NULL) && (var62->class == &class_kernel__Int);
-if (var65) {
-var66 = ((struct instance_kernel__Int*)var62)->value; /* autounbox from nullable Object to Int */;
-var65 = (var66 == var_m);
-}
-var63 = var65;
-goto RET_LABEL64;
-RET_LABEL64:(void)0;
-}
-if (var63){
-var67 = self->attrs[COLOR_string_search__BM_Pattern___gs].val; /* _gs on <self:BM_Pattern> */
-if (var67 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _gs");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 188);
-exit(1);
-}
-var68 = 1;
-{ /* Inline kernel#Int#- (var_m,var68) */
-var71 = var_m - var68;
-var69 = var71;
-goto RET_LABEL70;
-RET_LABEL70:(void)0;
-}
-{ /* Inline kernel#Int#- (var69,var_i) */
-var74 = var69 - var_i;
-var72 = var74;
-goto RET_LABEL73;
-RET_LABEL73:(void)0;
-}
-var75 = BOX_kernel__Int(var72); /* autobox from Int to nullable Object */
-((void (*)(val*, long, val*))(var67->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(var67, var_j, var75) /* []= on <var67:Array[Int]>*/;
-} else {
+{
+{ /* Inline kernel#Int#- (var12,var_i) on <var12:Int> */
+/* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
+/* <var_i:Int> isa OTHER */
+var17 = 1; /* easy <var_i:Int> isa OTHER*/
+if (unlikely(!var17)) {
+var_class_name = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+show_backtrace(1);
 }
-var76 = 1;
-{ /* Inline kernel#Int#+ (var_j,var76) */
-var79 = var_j + var76;
-var77 = var79;
-goto RET_LABEL78;
-RET_LABEL78:(void)0;
+var18 = var12 - var_i;
+var15 = var18;
+goto RET_LABEL16;
+RET_LABEL16:(void)0;
 }
-var_j = var77;
-CONTINUE_label80: (void)0;
 }
-BREAK_label80: (void)0;
-} else {
+var_len = var15;
+var19 = NEW_string_search__Match(&type_string_search__Match);
+{
+var20 = ((val* (*)(val*))(var_s->class->vft[COLOR_string__Object__to_s]))(var_s) /* to_s on <var_s:Text>*/;
 }
-var81 = 1;
-{ /* Inline kernel#Int#- (var_i,var81) */
-var84 = var_i - var81;
-var82 = var84;
-goto RET_LABEL83;
-RET_LABEL83:(void)0;
+{
+string_search__Match__init(var19, var20, var_i, var_len); /* Direct call string_search#Match#init on <var19:Match>*/
 }
-var_i = var82;
-CONTINUE_label85: (void)0;
+{
+array__Array__add(var_res, var19); /* Direct call array#Array#add on <var_res:Array[Match]>*/
 }
-BREAK_label85: (void)0;
-var86 = 0;
-var_i = var86;
-for(;;) {
-var87 = 1;
-{ /* Inline kernel#Int#- (var_m,var87) */
-var90 = var_m - var87;
-var88 = var90;
-goto RET_LABEL89;
-RET_LABEL89:(void)0;
-}
-{ /* Inline kernel#Int#< (var_i,var88) */
-/* Covariant cast for argument 0 (i) <var88:Int> isa OTHER */
-/* <var88:Int> isa OTHER */
-var93 = 1; /* easy <var88:Int> isa OTHER*/
-if (!var93) {
-var_class_name96 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name96);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var97 = var_i < var88;
-var91 = var97;
-goto RET_LABEL92;
-RET_LABEL92:(void)0;
-}
-if (!var91) break;
-var98 = self->attrs[COLOR_string_search__BM_Pattern___gs].val; /* _gs on <self:BM_Pattern> */
-if (var98 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _gs");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 196);
-exit(1);
-}
-var99 = 1;
-{ /* Inline kernel#Int#- (var_m,var99) */
-var102 = var_m - var99;
-var100 = var102;
-goto RET_LABEL101;
-RET_LABEL101:(void)0;
-}
-var103 = ((val* (*)(val*, long))(var_suff->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_suff, var_i) /* [] on <var_suff:Array[Int]>*/;
-{ /* Inline kernel#Int#- (var100,var103) */
-var106 = ((struct instance_kernel__Int*)var103)->value; /* autounbox from nullable Object to Int */;
-var107 = var100 - var106;
-var104 = var107;
-goto RET_LABEL105;
-RET_LABEL105:(void)0;
-}
-var108 = 1;
-{ /* Inline kernel#Int#- (var_m,var108) */
-var111 = var_m - var108;
-var109 = var111;
-goto RET_LABEL110;
-RET_LABEL110:(void)0;
-}
-{ /* Inline kernel#Int#- (var109,var_i) */
-var114 = var109 - var_i;
-var112 = var114;
-goto RET_LABEL113;
-RET_LABEL113:(void)0;
-}
-var115 = BOX_kernel__Int(var112); /* autobox from Int to nullable Object */
-((void (*)(val*, long, val*))(var98->class->vft[COLOR_abstract_collection__Sequence___91d_93d_61d]))(var98, var104, var115) /* []= on <var98:Array[Int]>*/;
-var116 = 1;
-{ /* Inline kernel#Int#+ (var_i,var116) */
-var119 = var_i + var116;
-var117 = var119;
-goto RET_LABEL118;
-RET_LABEL118:(void)0;
-}
-var_i = var117;
-CONTINUE_label120: (void)0;
-}
-BREAK_label120: (void)0;
-RET_LABEL:;
+{
+var21 = string_search__Match__after(var_match);
 }
-/* method string_search#BM_Pattern#compute_gs for (self: Object) */
-void VIRTUAL_string_search__BM_Pattern__compute_gs(val* self) {
-string_search__BM_Pattern__compute_gs(self);
-RET_LABEL:;
+var_i = var21;
+{
+var22 = ((val* (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_in]))(self, var_s, var_i) /* search_in on <self:Pattern>*/;
 }
-/* method string_search#BM_Pattern#hash for (self: BM_Pattern): Int */
-long string_search__BM_Pattern__hash(val* self) {
-long var /* : Int */;
-val* var1 /* : String */;
-long var2 /* : Int */;
-var1 = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 201);
-exit(1);
-}
-var2 = ((long (*)(val*))(var1->class->vft[COLOR_kernel__Object__hash]))(var1) /* hash on <var1:String>*/;
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
+var_match = var22;
+} else {
+goto BREAK_label;
 }
-/* method string_search#BM_Pattern#hash for (self: Object): Int */
-long VIRTUAL_string_search__BM_Pattern__hash(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = string_search__BM_Pattern__hash(self);
-var = var1;
-RET_LABEL:;
-return var;
 }
-/* method string_search#BM_Pattern#== for (self: BM_Pattern, nullable Object): Bool */
-short int string_search__BM_Pattern___61d_61d(val* self, val* p0) {
-short int var /* : Bool */;
-val* var_o /* var o: nullable Object */;
-short int var1 /* : Bool */;
-short int var2 /* : Bool */;
-int cltype;
-int idtype;
-short int var_ /* var : Bool */;
-val* var3 /* : String */;
-val* var4 /* : String */;
-short int var5 /* : Bool */;
-var_o = p0;
-/* <var_o:nullable Object> isa BM_Pattern */
-cltype = type_string_search__BM_Pattern.color;
-idtype = type_string_search__BM_Pattern.id;
-if(var_o == NULL) {
-var2 = 0;
-} else {
-if(cltype >= var_o->type->table_size) {
-var2 = 0;
-} else {
-var2 = var_o->type->type_table[cltype] == idtype;
+BREAK_label: (void)0;
+var23 = NEW_string_search__Match(&type_string_search__Match);
+{
+var24 = ((val* (*)(val*))(var_s->class->vft[COLOR_string__Object__to_s]))(var_s) /* to_s on <var_s:Text>*/;
+}
+{
+{ /* Inline string#FlatText#length (var_s) on <var_s:Text> */
+var27 = var_s->attrs[COLOR_string__FlatText___length].l; /* _length on <var_s:Text> */
+var25 = var27;
+RET_LABEL26:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#- (var25,var_i) on <var25:Int> */
+/* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
+/* <var_i:Int> isa OTHER */
+var30 = 1; /* easy <var_i:Int> isa OTHER*/
+if (unlikely(!var30)) {
+var_class_name33 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name33);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+show_backtrace(1);
 }
+var34 = var25 - var_i;
+var28 = var34;
+goto RET_LABEL29;
+RET_LABEL29:(void)0;
 }
-var_ = var2;
-if (var2){
-var3 = var_o->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <var_o:nullable Object(BM_Pattern)> */
-if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 202);
-exit(1);
 }
-var4 = self->attrs[COLOR_string_search__BM_Pattern___motif].val; /* _motif on <self:BM_Pattern> */
-if (var4 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _motif");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 202);
-exit(1);
+{
+string_search__Match__init(var23, var24, var_i, var28); /* Direct call string_search#Match#init on <var23:Match>*/
 }
-var5 = ((short int (*)(val*, val*))(var3->class->vft[COLOR_kernel__Object___61d_61d]))(var3, var4) /* == on <var3:String>*/;
-var1 = var5;
-} else {
-var1 = var_;
+{
+array__Array__add(var_res, var23); /* Direct call array#Array#add on <var_res:Array[Match]>*/
 }
-var = var1;
+var = var_res;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method string_search#BM_Pattern#== for (self: Object, nullable Object): Bool */
-short int VIRTUAL_string_search__BM_Pattern___61d_61d(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = string_search__BM_Pattern___61d_61d(self, p0);
+/* method string_search#Pattern#split_in for (self: Object, Text): Array[Match] */
+val* VIRTUAL_string_search__Pattern__split_in(val* self, val* p0) {
+val* var /* : Array[Match] */;
+val* var1 /* : Array[Match] */;
+var1 = string_search__Pattern__split_in(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
@@ -1603,10 +176,10 @@ val* string_search__Match__string(val* self) {
 val* var /* : String */;
 val* var1 /* : String */;
 var1 = self->attrs[COLOR_string_search__Match___string].val; /* _string on <self:Match> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _string");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 207);
-exit(1);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _string");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 242);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -1616,11 +189,34 @@ return var;
 val* VIRTUAL_string_search__Match__string(val* self) {
 val* var /* : String */;
 val* var1 /* : String */;
-var1 = string_search__Match__string(self);
+val* var3 /* : String */;
+{ /* Inline string_search#Match#string (self) on <self:Object(Match)> */
+var3 = self->attrs[COLOR_string_search__Match___string].val; /* _string on <self:Object(Match)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _string");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 242);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
 var = var1;
 RET_LABEL:;
 return var;
 }
+/* method string_search#Match#string= for (self: Match, String) */
+void string_search__Match__string_61d(val* self, val* p0) {
+self->attrs[COLOR_string_search__Match___string].val = p0; /* _string on <self:Match> */
+RET_LABEL:;
+}
+/* method string_search#Match#string= for (self: Object, String) */
+void VIRTUAL_string_search__Match__string_61d(val* self, val* p0) {
+{ /* Inline string_search#Match#string= (self,p0) on <self:Object(Match)> */
+self->attrs[COLOR_string_search__Match___string].val = p0; /* _string on <self:Object(Match)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
 /* method string_search#Match#from for (self: Match): Int */
 long string_search__Match__from(val* self) {
 long var /* : Int */;
@@ -1634,11 +230,29 @@ return var;
 long VIRTUAL_string_search__Match__from(val* self) {
 long var /* : Int */;
 long var1 /* : Int */;
-var1 = string_search__Match__from(self);
+long var3 /* : Int */;
+{ /* Inline string_search#Match#from (self) on <self:Object(Match)> */
+var3 = self->attrs[COLOR_string_search__Match___from].l; /* _from on <self:Object(Match)> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
 var = var1;
 RET_LABEL:;
 return var;
 }
+/* method string_search#Match#from= for (self: Match, Int) */
+void string_search__Match__from_61d(val* self, long p0) {
+self->attrs[COLOR_string_search__Match___from].l = p0; /* _from on <self:Match> */
+RET_LABEL:;
+}
+/* method string_search#Match#from= for (self: Object, Int) */
+void VIRTUAL_string_search__Match__from_61d(val* self, long p0) {
+{ /* Inline string_search#Match#from= (self,p0) on <self:Object(Match)> */
+self->attrs[COLOR_string_search__Match___from].l = p0; /* _from on <self:Object(Match)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
 /* method string_search#Match#length for (self: Match): Int */
 long string_search__Match__length(val* self) {
 long var /* : Int */;
@@ -1652,27 +266,74 @@ return var;
 long VIRTUAL_string_search__Match__length(val* self) {
 long var /* : Int */;
 long var1 /* : Int */;
-var1 = string_search__Match__length(self);
+long var3 /* : Int */;
+{ /* Inline string_search#Match#length (self) on <self:Object(Match)> */
+var3 = self->attrs[COLOR_string_search__Match___length].l; /* _length on <self:Object(Match)> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
 var = var1;
 RET_LABEL:;
 return var;
 }
+/* method string_search#Match#length= for (self: Match, Int) */
+void string_search__Match__length_61d(val* self, long p0) {
+self->attrs[COLOR_string_search__Match___length].l = p0; /* _length on <self:Match> */
+RET_LABEL:;
+}
+/* method string_search#Match#length= for (self: Object, Int) */
+void VIRTUAL_string_search__Match__length_61d(val* self, long p0) {
+{ /* Inline string_search#Match#length= (self,p0) on <self:Object(Match)> */
+self->attrs[COLOR_string_search__Match___length].l = p0; /* _length on <self:Object(Match)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
 /* method string_search#Match#after for (self: Match): Int */
 long string_search__Match__after(val* self) {
 long var /* : Int */;
 long var1 /* : Int */;
-long var2 /* : Int */;
 long var3 /* : Int */;
-long var5 /* : Int */;
-var1 = self->attrs[COLOR_string_search__Match___from].l; /* _from on <self:Match> */
-var2 = self->attrs[COLOR_string_search__Match___length].l; /* _length on <self:Match> */
-{ /* Inline kernel#Int#+ (var1,var2) */
-var5 = var1 + var2;
-var3 = var5;
-goto RET_LABEL4;
-RET_LABEL4:(void)0;
+long var4 /* : Int */;
+long var6 /* : Int */;
+long var7 /* : Int */;
+short int var9 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+long var10 /* : Int */;
+{
+{ /* Inline string_search#Match#from (self) on <self:Match> */
+var3 = self->attrs[COLOR_string_search__Match___from].l; /* _from on <self:Match> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline string_search#Match#length (self) on <self:Match> */
+var6 = self->attrs[COLOR_string_search__Match___length].l; /* _length on <self:Match> */
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#+ (var1,var4) on <var1:Int> */
+/* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
+/* <var4:Int> isa OTHER */
+var9 = 1; /* easy <var4:Int> isa OTHER*/
+if (unlikely(!var9)) {
+var_class_name = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+show_backtrace(1);
+}
+var10 = var1 + var4;
+var7 = var10;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
 }
-var = var3;
+}
+var = var7;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -1690,19 +351,42 @@ return var;
 val* string_search__Match__to_s(val* self) {
 val* var /* : String */;
 val* var1 /* : String */;
-long var2 /* : Int */;
-long var3 /* : Int */;
-val* var4 /* : String */;
-var1 = self->attrs[COLOR_string_search__Match___string].val; /* _string on <self:Match> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _string");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 221);
-exit(1);
-}
-var2 = self->attrs[COLOR_string_search__Match___from].l; /* _from on <self:Match> */
-var3 = self->attrs[COLOR_string_search__Match___length].l; /* _length on <self:Match> */
-var4 = ((val* (*)(val*, long, long))(var1->class->vft[COLOR_string__AbstractString__substring]))(var1, var2, var3) /* substring on <var1:String>*/;
-var = var4;
+val* var3 /* : String */;
+long var4 /* : Int */;
+long var6 /* : Int */;
+long var7 /* : Int */;
+long var9 /* : Int */;
+val* var10 /* : String */;
+{
+{ /* Inline string_search#Match#string (self) on <self:Match> */
+var3 = self->attrs[COLOR_string_search__Match___string].val; /* _string on <self:Match> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _string");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 242);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline string_search#Match#from (self) on <self:Match> */
+var6 = self->attrs[COLOR_string_search__Match___from].l; /* _from on <self:Match> */
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+{ /* Inline string_search#Match#length (self) on <self:Match> */
+var9 = self->attrs[COLOR_string_search__Match___length].l; /* _length on <self:Match> */
+var7 = var9;
+RET_LABEL8:(void)0;
+}
+}
+{
+var10 = string__FlatString__substring(var1, var4, var7);
+}
+var = var10;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -1736,180 +420,261 @@ int idtype10;
 const char* var_class_name11;
 short int var12 /* : Bool */;
 long var13 /* : Int */;
-long var15 /* : Int */;
-long var16 /* : Int */;
-short int var17 /* : Bool */;
-short int var19 /* : Bool */;
-int cltype20;
-int idtype21;
-const char* var_class_name22;
+short int var15 /* : Bool */;
+int cltype16;
+int idtype17;
+const char* var_class_name18;
+long var19 /* : Int */;
+long var20 /* : Int */;
+long var22 /* : Int */;
 short int var23 /* : Bool */;
+short int var25 /* : Bool */;
+int cltype26;
+int idtype27;
+const char* var_class_name28;
+short int var29 /* : Bool */;
 var_s = p0;
 var_f = p1;
 var_len = p2;
 var = 0;
-{ /* Inline kernel#Int#>= (var_len,var) */
+{
+{ /* Inline kernel#Int#>= (var_len,var) on <var_len:Int> */
 /* Covariant cast for argument 0 (i) <var:Int> isa OTHER */
 /* <var:Int> isa OTHER */
 var3 = 1; /* easy <var:Int> isa OTHER*/
-if (!var3) {
+if (unlikely(!var3)) {
 var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+show_backtrace(1);
 }
 var4 = var_len >= var;
 var1 = var4;
 goto RET_LABEL2;
 RET_LABEL2:(void)0;
 }
-if (!var1) {
-fprintf(stderr, "Runtime error: %s", "Assert \'positive_length\' failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 226);
-exit(1);
+}
+if (unlikely(!var1)) {
+PRINT_ERROR("Runtime error: %s", "Assert \'positive_length\' failed");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 261);
+show_backtrace(1);
 }
 var5 = 0;
-{ /* Inline kernel#Int#>= (var_f,var5) */
+{
+{ /* Inline kernel#Int#>= (var_f,var5) on <var_f:Int> */
 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
 /* <var5:Int> isa OTHER */
 var8 = 1; /* easy <var5:Int> isa OTHER*/
-if (!var8) {
+if (unlikely(!var8)) {
 var_class_name11 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+show_backtrace(1);
 }
 var12 = var_f >= var5;
 var6 = var12;
 goto RET_LABEL7;
 RET_LABEL7:(void)0;
 }
-if (!var6) {
-fprintf(stderr, "Runtime error: %s", "Assert \'valid_from\' failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 227);
-exit(1);
 }
-{ /* Inline kernel#Int#+ (var_f,var_len) */
-var15 = var_f + var_len;
-var13 = var15;
+if (unlikely(!var6)) {
+PRINT_ERROR("Runtime error: %s", "Assert \'valid_from\' failed");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 262);
+show_backtrace(1);
+}
+{
+{ /* Inline kernel#Int#+ (var_f,var_len) on <var_f:Int> */
+/* Covariant cast for argument 0 (i) <var_len:Int> isa OTHER */
+/* <var_len:Int> isa OTHER */
+var15 = 1; /* easy <var_len:Int> isa OTHER*/
+if (unlikely(!var15)) {
+var_class_name18 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+show_backtrace(1);
+}
+var19 = var_f + var_len;
+var13 = var19;
 goto RET_LABEL14;
 RET_LABEL14:(void)0;
 }
-var16 = ((long (*)(val*))(var_s->class->vft[COLOR_abstract_collection__Collection__length]))(var_s) /* length on <var_s:String>*/;
-{ /* Inline kernel#Int#<= (var13,var16) */
-/* Covariant cast for argument 0 (i) <var16:Int> isa OTHER */
-/* <var16:Int> isa OTHER */
-var19 = 1; /* easy <var16:Int> isa OTHER*/
-if (!var19) {
-var_class_name22 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name22);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
-}
-var23 = var13 <= var16;
-var17 = var23;
-goto RET_LABEL18;
-RET_LABEL18:(void)0;
-}
-if (!var17) {
-fprintf(stderr, "Runtime error: %s", "Assert \'valid_after\' failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 228);
-exit(1);
 }
+{
+{ /* Inline string#FlatText#length (var_s) on <var_s:String> */
+var22 = var_s->attrs[COLOR_string__FlatText___length].l; /* _length on <var_s:String> */
+var20 = var22;
+RET_LABEL21:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#<= (var13,var20) on <var13:Int> */
+/* Covariant cast for argument 0 (i) <var20:Int> isa OTHER */
+/* <var20:Int> isa OTHER */
+var25 = 1; /* easy <var20:Int> isa OTHER*/
+if (unlikely(!var25)) {
+var_class_name28 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370);
+show_backtrace(1);
+}
+var29 = var13 <= var20;
+var23 = var29;
+goto RET_LABEL24;
+RET_LABEL24:(void)0;
+}
+}
+if (unlikely(!var23)) {
+PRINT_ERROR("Runtime error: %s", "Assert \'valid_after\' failed");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 263);
+show_backtrace(1);
+}
+{
+{ /* Inline string_search#Match#string= (self,var_s) on <self:Match> */
 self->attrs[COLOR_string_search__Match___string].val = var_s; /* _string on <self:Match> */
+RET_LABEL30:(void)0;
+}
+}
+{
+{ /* Inline string_search#Match#from= (self,var_f) on <self:Match> */
 self->attrs[COLOR_string_search__Match___from].l = var_f; /* _from on <self:Match> */
+RET_LABEL31:(void)0;
+}
+}
+{
+{ /* Inline string_search#Match#length= (self,var_len) on <self:Match> */
 self->attrs[COLOR_string_search__Match___length].l = var_len; /* _length on <self:Match> */
+RET_LABEL32:(void)0;
+}
+}
 RET_LABEL:;
 }
 /* method string_search#Match#init for (self: Object, String, Int, Int) */
 void VIRTUAL_string_search__Match__init(val* self, val* p0, long p1, long p2) {
-string_search__Match__init(self, p0, p1, p2);
+string_search__Match__init(self, p0, p1, p2); /* Direct call string_search#Match#init on <self:Object(Match)>*/
 RET_LABEL:;
 }
-/* method string_search#Char#search_index_in for (self: Char, String, Int): Int */
+/* method string_search#Char#search_index_in for (self: Char, Text, Int): Int */
 long string_search__Char__search_index_in(char self, val* p0, long p1) {
 long var /* : Int */;
-val* var_s /* var s: String */;
+val* var_s /* var s: Text */;
 long var_from /* var from: Int */;
 long var1 /* : Int */;
+long var3 /* : Int */;
 long var_stop /* var stop: Int */;
-short int var2 /* : Bool */;
 short int var4 /* : Bool */;
+short int var6 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
-short int var5 /* : Bool */;
-val* var6 /* : nullable Object */;
 short int var7 /* : Bool */;
-short int var9 /* : Bool */;
-char var10 /* : Char */;
-long var11 /* : Int */;
-long var12 /* : Int */;
-long var14 /* : Int */;
+val* var8 /* : SequenceRead[Char] */;
+val* var9 /* : nullable Object */;
+short int var10 /* : Bool */;
+short int var11 /* : Bool */;
+short int var13 /* : Bool */;
+char var14 /* : Char */;
 long var15 /* : Int */;
 long var16 /* : Int */;
-long var18 /* : Int */;
+short int var18 /* : Bool */;
+int cltype19;
+int idtype20;
+const char* var_class_name21;
+long var22 /* : Int */;
+long var23 /* : Int */;
+long var24 /* : Int */;
+long var26 /* : Int */;
 var_s = p0;
 var_from = p1;
-var1 = ((long (*)(val*))(var_s->class->vft[COLOR_abstract_collection__Collection__length]))(var_s) /* length on <var_s:String>*/;
+{
+{ /* Inline string#FlatText#length (var_s) on <var_s:Text> */
+var3 = var_s->attrs[COLOR_string__FlatText___length].l; /* _length on <var_s:Text> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
 var_stop = var1;
 for(;;) {
-{ /* Inline kernel#Int#< (var_from,var_stop) */
+{
+{ /* Inline kernel#Int#< (var_from,var_stop) on <var_from:Int> */
 /* Covariant cast for argument 0 (i) <var_stop:Int> isa OTHER */
 /* <var_stop:Int> isa OTHER */
-var4 = 1; /* easy <var_stop:Int> isa OTHER*/
-if (!var4) {
+var6 = 1; /* easy <var_stop:Int> isa OTHER*/
+if (unlikely(!var6)) {
 var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+show_backtrace(1);
 }
-var5 = var_from < var_stop;
-var2 = var5;
-goto RET_LABEL3;
-RET_LABEL3:(void)0;
+var7 = var_from < var_stop;
+var4 = var7;
+goto RET_LABEL5;
+RET_LABEL5:(void)0;
 }
-if (!var2) break;
-var6 = ((val* (*)(val*, long))(var_s->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_s, var_from) /* [] on <var_s:String>*/;
-{ /* Inline kernel#Char#== (var6,self) */
-var9 = (var6 != NULL) && (var6->class == &class_kernel__Char);
-if (var9) {
-var10 = ((struct instance_kernel__Char*)var6)->value; /* autounbox from nullable Object to Char */;
-var9 = (var10 == self);
 }
-var7 = var9;
-goto RET_LABEL8;
-RET_LABEL8:(void)0;
+if (var4){
+{
+var8 = ((val* (*)(val*))(var_s->class->vft[COLOR_string__Text__chars]))(var_s) /* chars on <var_s:Text>*/;
+}
+{
+var9 = ((val* (*)(val*, long))(var8->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var8, var_from) /* [] on <var8:SequenceRead[Char]>*/;
+}
+{
+{ /* Inline kernel#Char#== (var9,self) on <var9:nullable Object(Char)> */
+var13 = (var9 != NULL) && (var9->class == &class_kernel__Char);
+if (var13) {
+var14 = ((struct instance_kernel__Char*)var9)->value; /* autounbox from nullable Object to Char */;
+var13 = (var14 == self);
+}
+var11 = var13;
+goto RET_LABEL12;
+RET_LABEL12:(void)0;
 }
-if (var7){
+var10 = var11;
+}
+if (var10){
 var = var_from;
 goto RET_LABEL;
 } else {
 }
-var11 = 1;
-{ /* Inline kernel#Int#+ (var_from,var11) */
-var14 = var_from + var11;
-var12 = var14;
-goto RET_LABEL13;
-RET_LABEL13:(void)0;
-}
-var_from = var12;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
 var15 = 1;
-{ /* Inline kernel#Int#unary - (var15) */
-var18 = -var15;
-var16 = var18;
+{
+{ /* Inline kernel#Int#+ (var_from,var15) on <var_from:Int> */
+/* Covariant cast for argument 0 (i) <var15:Int> isa OTHER */
+/* <var15:Int> isa OTHER */
+var18 = 1; /* easy <var15:Int> isa OTHER*/
+if (unlikely(!var18)) {
+var_class_name21 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+show_backtrace(1);
+}
+var22 = var_from + var15;
+var16 = var22;
 goto RET_LABEL17;
 RET_LABEL17:(void)0;
 }
-var = var16;
+}
+var_from = var16;
+} else {
+goto BREAK_label;
+}
+}
+BREAK_label: (void)0;
+var23 = 1;
+{
+{ /* Inline kernel#Int#unary - (var23) on <var23:Int> */
+var26 = -var23;
+var24 = var26;
+goto RET_LABEL25;
+RET_LABEL25:(void)0;
+}
+}
+var = var24;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method string_search#Char#search_index_in for (self: Object, String, Int): Int */
+/* method string_search#Char#search_index_in for (self: Object, Text, Int): Int */
 long VIRTUAL_string_search__Char__search_index_in(val* self, val* p0, long p1) {
 long var /* : Int */;
 long var1 /* : Int */;
@@ -1920,10 +685,10 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method string_search#Char#search_in for (self: Char, String, Int): nullable Match */
+/* method string_search#Char#search_in for (self: Char, Text, Int): nullable Match */
 val* string_search__Char__search_in(char self, val* p0, long p1) {
 val* var /* : nullable Match */;
-val* var_s /* var s: String */;
+val* var_s /* var s: Text */;
 long var_from /* var from: Int */;
 long var1 /* : Int */;
 long var_pos /* var pos: Int */;
@@ -1936,43 +701,52 @@ const char* var_class_name;
 short int var6 /* : Bool */;
 val* var7 /* : null */;
 val* var8 /* : Match */;
-long var9 /* : Int */;
+val* var9 /* : String */;
+long var10 /* : Int */;
 var_s = p0;
 var_from = p1;
+{
 var1 = string_search__Char__search_index_in(self, var_s, var_from);
+}
 var_pos = var1;
 var2 = 0;
-{ /* Inline kernel#Int#< (var_pos,var2) */
+{
+{ /* Inline kernel#Int#< (var_pos,var2) on <var_pos:Int> */
 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
 /* <var2:Int> isa OTHER */
 var5 = 1; /* easy <var2:Int> isa OTHER*/
-if (!var5) {
+if (unlikely(!var5)) {
 var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+show_backtrace(1);
 }
 var6 = var_pos < var2;
 var3 = var6;
 goto RET_LABEL4;
 RET_LABEL4:(void)0;
 }
+}
 if (var3){
 var7 = NULL;
 var = var7;
 goto RET_LABEL;
 } else {
 var8 = NEW_string_search__Match(&type_string_search__Match);
-var9 = 1;
-((void (*)(val*, val*, long, long))(var8->class->vft[COLOR_string_search__Match__init]))(var8, var_s, var_pos, var9) /* init on <var8:Match>*/;
-CHECK_NEW_string_search__Match(var8);
+{
+var9 = ((val* (*)(val*))(var_s->class->vft[COLOR_string__Object__to_s]))(var_s) /* to_s on <var_s:Text>*/;
+}
+var10 = 1;
+{
+string_search__Match__init(var8, var9, var_pos, var10); /* Direct call string_search#Match#init on <var8:Match>*/
+}
 var = var8;
 goto RET_LABEL;
 }
 RET_LABEL:;
 return var;
 }
-/* method string_search#Char#search_in for (self: Object, String, Int): nullable Match */
+/* method string_search#Char#search_in for (self: Object, Text, Int): nullable Match */
 val* VIRTUAL_string_search__Char__search_in(val* self, val* p0, long p1) {
 val* var /* : nullable Match */;
 val* var1 /* : nullable Match */;
@@ -1983,10 +757,10 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#search_index_in for (self: String, String, Int): Int */
-long string_search__String__search_index_in(val* self, val* p0, long p1) {
+/* method string_search#Text#search_index_in for (self: Text, Text, Int): Int */
+long string_search__Text__search_index_in(val* self, val* p0, long p1) {
 long var /* : Int */;
-val* var_s /* var s: String */;
+val* var_s /* var s: Text */;
 long var_from /* var from: Int */;
 long var1 /* : Int */;
 short int var2 /* : Bool */;
@@ -1996,226 +770,367 @@ int idtype;
 const char* var_class_name;
 short int var5 /* : Bool */;
 long var6 /* : Int */;
-long var7 /* : Int */;
 long var8 /* : Int */;
-long var10 /* : Int */;
+long var9 /* : Int */;
 long var11 /* : Int */;
 long var12 /* : Int */;
-long var14 /* : Int */;
-long var_stop /* var stop: Int */;
-short int var15 /* : Bool */;
-short int var17 /* : Bool */;
-int cltype18;
-int idtype19;
-const char* var_class_name20;
-short int var21 /* : Bool */;
-long var22 /* : Int */;
-long var23 /* : Int */;
-long var24 /* : Int */;
+short int var14 /* : Bool */;
+int cltype15;
+int idtype16;
+const char* var_class_name17;
+long var18 /* : Int */;
+long var19 /* : Int */;
+long var20 /* : Int */;
+short int var22 /* : Bool */;
+int cltype23;
+int idtype24;
+const char* var_class_name25;
 long var26 /* : Int */;
-long var_i /* var i: Int */;
+long var_stop /* var stop: Int */;
 short int var27 /* : Bool */;
-long var28 /* : Int */;
 short int var29 /* : Bool */;
-short int var31 /* : Bool */;
-int cltype32;
-int idtype33;
-const char* var_class_name34;
-short int var35 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var36 /* : nullable Object */;
+int cltype30;
+int idtype31;
+const char* var_class_name32;
+short int var33 /* : Bool */;
+long var34 /* : Int */;
+long var36 /* : Int */;
 long var37 /* : Int */;
-long var39 /* : Int */;
-val* var40 /* : nullable Object */;
-short int var41 /* : Bool */;
-short int var43 /* : Bool */;
+long var38 /* : Int */;
+short int var40 /* : Bool */;
+int cltype41;
+int idtype42;
+const char* var_class_name43;
 long var44 /* : Int */;
-long var45 /* : Int */;
-long var47 /* : Int */;
-long var48 /* : Int */;
+long var_i /* var i: Int */;
+short int var45 /* : Bool */;
+long var46 /* : Int */;
+short int var47 /* : Bool */;
 short int var49 /* : Bool */;
-short int var51 /* : Bool */;
-int cltype52;
-int idtype53;
-const char* var_class_name54;
-short int var55 /* : Bool */;
-long var56 /* : Int */;
+int cltype50;
+int idtype51;
+const char* var_class_name52;
+short int var53 /* : Bool */;
+short int var_ /* var : Bool */;
+val* var54 /* : SequenceRead[Char] */;
+val* var55 /* : nullable Object */;
+val* var56 /* : SequenceRead[Char] */;
 long var57 /* : Int */;
-long var59 /* : Int */;
-long var61 /* : Int */;
-long var62 /* : Int */;
-long var64 /* : Int */;
+short int var59 /* : Bool */;
+int cltype60;
+int idtype61;
+const char* var_class_name62;
+long var63 /* : Int */;
+val* var64 /* : nullable Object */;
+short int var65 /* : Bool */;
+short int var66 /* : Bool */;
+short int var68 /* : Bool */;
+long var69 /* : Int */;
+long var70 /* : Int */;
+short int var72 /* : Bool */;
+int cltype73;
+int idtype74;
+const char* var_class_name75;
+long var76 /* : Int */;
+long var77 /* : Int */;
+short int var78 /* : Bool */;
+short int var80 /* : Bool */;
+int cltype81;
+int idtype82;
+const char* var_class_name83;
+short int var84 /* : Bool */;
+long var85 /* : Int */;
+long var86 /* : Int */;
+short int var88 /* : Bool */;
+int cltype89;
+int idtype90;
+const char* var_class_name91;
+long var92 /* : Int */;
+long var94 /* : Int */;
+long var95 /* : Int */;
+long var97 /* : Int */;
 var_s = p0;
 var_from = p1;
 var1 = 0;
-{ /* Inline kernel#Int#>= (var_from,var1) */
+{
+{ /* Inline kernel#Int#>= (var_from,var1) on <var_from:Int> */
 /* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
 /* <var1:Int> isa OTHER */
 var4 = 1; /* easy <var1:Int> isa OTHER*/
-if (!var4) {
+if (unlikely(!var4)) {
 var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+show_backtrace(1);
 }
 var5 = var_from >= var1;
 var2 = var5;
 goto RET_LABEL3;
 RET_LABEL3:(void)0;
 }
-if (!var2) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/string_search.nit", 264);
-exit(1);
 }
-var6 = ((long (*)(val*))(var_s->class->vft[COLOR_abstract_collection__Collection__length]))(var_s) /* length on <var_s:String>*/;
-var7 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:String>*/;
-{ /* Inline kernel#Int#- (var6,var7) */
-var10 = var6 - var7;
-var8 = var10;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
+if (unlikely(!var2)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 299);
+show_backtrace(1);
 }
-var11 = 1;
-{ /* Inline kernel#Int#+ (var8,var11) */
-var14 = var8 + var11;
-var12 = var14;
+{
+{ /* Inline string#FlatText#length (var_s) on <var_s:Text> */
+var8 = var_s->attrs[COLOR_string__FlatText___length].l; /* _length on <var_s:Text> */
+var6 = var8;
+RET_LABEL7:(void)0;
+}
+}
+{
+{ /* Inline string#FlatText#length (self) on <self:Text> */
+var11 = self->attrs[COLOR_string__FlatText___length].l; /* _length on <self:Text> */
+var9 = var11;
+RET_LABEL10:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#- (var6,var9) on <var6:Int> */
+/* Covariant cast for argument 0 (i) <var9:Int> isa OTHER */
+/* <var9:Int> isa OTHER */
+var14 = 1; /* easy <var9:Int> isa OTHER*/
+if (unlikely(!var14)) {
+var_class_name17 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+show_backtrace(1);
+}
+var18 = var6 - var9;
+var12 = var18;
 goto RET_LABEL13;
 RET_LABEL13:(void)0;
 }
-var_stop = var12;
+}
+var19 = 1;
+{
+{ /* Inline kernel#Int#+ (var12,var19) on <var12:Int> */
+/* Covariant cast for argument 0 (i) <var19:Int> isa OTHER */
+/* <var19:Int> isa OTHER */
+var22 = 1; /* easy <var19:Int> isa OTHER*/
+if (unlikely(!var22)) {
+var_class_name25 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+show_backtrace(1);
+}
+var26 = var12 + var19;
+var20 = var26;
+goto RET_LABEL21;
+RET_LABEL21:(void)0;
+}
+}
+var_stop = var20;
 for(;;) {
-{ /* Inline kernel#Int#< (var_from,var_stop) */
+{
+{ /* Inline kernel#Int#< (var_from,var_stop) on <var_from:Int> */
 /* Covariant cast for argument 0 (i) <var_stop:Int> isa OTHER */
 /* <var_stop:Int> isa OTHER */
-var17 = 1; /* easy <var_stop:Int> isa OTHER*/
-if (!var17) {
-var_class_name20 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name20);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var21 = var_from < var_stop;
-var15 = var21;
-goto RET_LABEL16;
-RET_LABEL16:(void)0;
+var29 = 1; /* easy <var_stop:Int> isa OTHER*/
+if (unlikely(!var29)) {
+var_class_name32 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+show_backtrace(1);
+}
+var33 = var_from < var_stop;
+var27 = var33;
+goto RET_LABEL28;
+RET_LABEL28:(void)0;
+}
+}
+if (var27){
+{
+{ /* Inline string#FlatText#length (self) on <self:Text> */
+var36 = self->attrs[COLOR_string__FlatText___length].l; /* _length on <self:Text> */
+var34 = var36;
+RET_LABEL35:(void)0;
 }
-if (!var15) break;
-var22 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:String>*/;
-var23 = 1;
-{ /* Inline kernel#Int#- (var22,var23) */
-var26 = var22 - var23;
-var24 = var26;
-goto RET_LABEL25;
-RET_LABEL25:(void)0;
 }
-var_i = var24;
+var37 = 1;
+{
+{ /* Inline kernel#Int#- (var34,var37) on <var34:Int> */
+/* Covariant cast for argument 0 (i) <var37:Int> isa OTHER */
+/* <var37:Int> isa OTHER */
+var40 = 1; /* easy <var37:Int> isa OTHER*/
+if (unlikely(!var40)) {
+var_class_name43 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name43);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+show_backtrace(1);
+}
+var44 = var34 - var37;
+var38 = var44;
+goto RET_LABEL39;
+RET_LABEL39:(void)0;
+}
+}
+var_i = var38;
 for(;;) {
-var28 = 0;
-{ /* Inline kernel#Int#>= (var_i,var28) */
-/* Covariant cast for argument 0 (i) <var28:Int> isa OTHER */
-/* <var28:Int> isa OTHER */
-var31 = 1; /* easy <var28:Int> isa OTHER*/
-if (!var31) {
-var_class_name34 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name34);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
-}
-var35 = var_i >= var28;
-var29 = var35;
-goto RET_LABEL30;
-RET_LABEL30:(void)0;
+var46 = 0;
+{
+{ /* Inline kernel#Int#>= (var_i,var46) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var46:Int> isa OTHER */
+/* <var46:Int> isa OTHER */
+var49 = 1; /* easy <var46:Int> isa OTHER*/
+if (unlikely(!var49)) {
+var_class_name52 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name52);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+show_backtrace(1);
+}
+var53 = var_i >= var46;
+var47 = var53;
+goto RET_LABEL48;
+RET_LABEL48:(void)0;
+}
+}
+var_ = var47;
+if (var47){
+{
+var54 = ((val* (*)(val*))(self->class->vft[COLOR_string__Text__chars]))(self) /* chars on <self:Text>*/;
+}
+{
+var55 = ((val* (*)(val*, long))(var54->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var54, var_i) /* [] on <var54:SequenceRead[Char]>*/;
+}
+{
+var56 = ((val* (*)(val*))(var_s->class->vft[COLOR_string__Text__chars]))(var_s) /* chars on <var_s:Text>*/;
+}
+{
+{ /* Inline kernel#Int#+ (var_i,var_from) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var_from:Int> isa OTHER */
+/* <var_from:Int> isa OTHER */
+var59 = 1; /* easy <var_from: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", 374);
+show_backtrace(1);
+}
+var63 = var_i + var_from;
+var57 = var63;
+goto RET_LABEL58;
+RET_LABEL58:(void)0;
 }
-var_ = var29;
-if (var29){
-var36 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_i) /* [] on <self:String>*/;
-{ /* Inline kernel#Int#+ (var_i,var_from) */
-var39 = var_i + var_from;
-var37 = var39;
-goto RET_LABEL38;
-RET_LABEL38:(void)0;
-}
-var40 = ((val* (*)(val*, long))(var_s->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_s, var37) /* [] on <var_s:String>*/;
-{ /* Inline kernel#Char#== (var36,var40) */
-var43 = var36 == var40 || (((struct instance_kernel__Char*)var36)->value == ((struct instance_kernel__Char*)var40)->value);
-var41 = var43;
-goto RET_LABEL42;
-RET_LABEL42:(void)0;
-}
-var27 = var41;
-} else {
-var27 = var_;
 }
-if (!var27) break;
-var44 = 1;
-{ /* Inline kernel#Int#- (var_i,var44) */
-var47 = var_i - var44;
-var45 = var47;
-goto RET_LABEL46;
-RET_LABEL46:(void)0;
+{
+var64 = ((val* (*)(val*, long))(var56->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var56, var57) /* [] on <var56:SequenceRead[Char]>*/;
+}
+{
+{ /* Inline kernel#Char#== (var55,var64) on <var55:nullable Object(Char)> */
+var68 = var55 == var64 || (((struct instance_kernel__Char*)var55)->value == ((struct instance_kernel__Char*)var64)->value);
+var66 = var68;
+goto RET_LABEL67;
+RET_LABEL67:(void)0;
+}
+var65 = var66;
+}
+var45 = var65;
+} else {
+var45 = var_;
+}
+if (var45){
+var69 = 1;
+{
+{ /* Inline kernel#Int#- (var_i,var69) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var69:Int> isa OTHER */
+/* <var69:Int> isa OTHER */
+var72 = 1; /* easy <var69:Int> isa OTHER*/
+if (unlikely(!var72)) {
+var_class_name75 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name75);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+show_backtrace(1);
+}
+var76 = var_i - var69;
+var70 = var76;
+goto RET_LABEL71;
+RET_LABEL71:(void)0;
+}
+}
+var_i = var70;
+} else {
+goto BREAK_label;
 }
-var_i = var45;
-CONTINUE_label: (void)0;
 }
 BREAK_label: (void)0;
-var48 = 0;
-{ /* Inline kernel#Int#< (var_i,var48) */
-/* Covariant cast for argument 0 (i) <var48:Int> isa OTHER */
-/* <var48:Int> isa OTHER */
-var51 = 1; /* easy <var48:Int> isa OTHER*/
-if (!var51) {
-var_class_name54 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name54);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var55 = var_i < var48;
-var49 = var55;
-goto RET_LABEL50;
-RET_LABEL50:(void)0;
-}
-if (var49){
+var77 = 0;
+{
+{ /* Inline kernel#Int#< (var_i,var77) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var77:Int> isa OTHER */
+/* <var77:Int> isa OTHER */
+var80 = 1; /* easy <var77:Int> isa OTHER*/
+if (unlikely(!var80)) {
+var_class_name83 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name83);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+show_backtrace(1);
+}
+var84 = var_i < var77;
+var78 = var84;
+goto RET_LABEL79;
+RET_LABEL79:(void)0;
+}
+}
+if (var78){
 var = var_from;
 goto RET_LABEL;
 } else {
 }
-var56 = 1;
-{ /* Inline kernel#Int#+ (var_from,var56) */
-var59 = var_from + var56;
-var57 = var59;
-goto RET_LABEL58;
-RET_LABEL58:(void)0;
+var85 = 1;
+{
+{ /* Inline kernel#Int#+ (var_from,var85) on <var_from:Int> */
+/* Covariant cast for argument 0 (i) <var85:Int> isa OTHER */
+/* <var85:Int> isa OTHER */
+var88 = 1; /* easy <var85:Int> isa OTHER*/
+if (unlikely(!var88)) {
+var_class_name91 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name91);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+show_backtrace(1);
+}
+var92 = var_from + var85;
+var86 = var92;
+goto RET_LABEL87;
+RET_LABEL87:(void)0;
+}
+}
+var_from = var86;
+} else {
+goto BREAK_label93;
 }
-var_from = var57;
-CONTINUE_label60: (void)0;
 }
-BREAK_label60: (void)0;
-var61 = 1;
-{ /* Inline kernel#Int#unary - (var61) */
-var64 = -var61;
-var62 = var64;
-goto RET_LABEL63;
-RET_LABEL63:(void)0;
+BREAK_label93: (void)0;
+var94 = 1;
+{
+{ /* Inline kernel#Int#unary - (var94) on <var94:Int> */
+var97 = -var94;
+var95 = var97;
+goto RET_LABEL96;
+RET_LABEL96:(void)0;
 }
-var = var62;
+}
+var = var95;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#search_index_in for (self: Object, String, Int): Int */
-long VIRTUAL_string_search__String__search_index_in(val* self, val* p0, long p1) {
+/* method string_search#Text#search_index_in for (self: Object, Text, Int): Int */
+long VIRTUAL_string_search__Text__search_index_in(val* self, val* p0, long p1) {
 long var /* : Int */;
 long var1 /* : Int */;
-var1 = string_search__String__search_index_in(self, p0, p1);
+var1 = string_search__Text__search_index_in(self, p0, p1);
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#search_in for (self: String, String, Int): nullable Match */
-val* string_search__String__search_in(val* self, val* p0, long p1) {
+/* method string_search#Text#search_in for (self: Text, Text, Int): nullable Match */
+val* string_search__Text__search_in(val* self, val* p0, long p1) {
 val* var /* : nullable Match */;
-val* var_s /* var s: String */;
+val* var_s /* var s: Text */;
 long var_from /* var from: Int */;
 long var1 /* : Int */;
 long var_pos /* var pos: Int */;
@@ -2228,347 +1143,301 @@ const char* var_class_name;
 short int var6 /* : Bool */;
 val* var7 /* : null */;
 val* var8 /* : Match */;
-long var9 /* : Int */;
+val* var9 /* : String */;
+long var10 /* : Int */;
+long var12 /* : Int */;
 var_s = p0;
 var_from = p1;
-var1 = ((long (*)(val*, val*, long))(self->class->vft[COLOR_string_search__Pattern__search_index_in]))(self, var_s, var_from) /* search_index_in on <self:String>*/;
+{
+var1 = string_search__Text__search_index_in(self, var_s, var_from);
+}
 var_pos = var1;
 var2 = 0;
-{ /* Inline kernel#Int#< (var_pos,var2) */
+{
+{ /* Inline kernel#Int#< (var_pos,var2) on <var_pos:Int> */
 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
 /* <var2:Int> isa OTHER */
 var5 = 1; /* easy <var2:Int> isa OTHER*/
-if (!var5) {
+if (unlikely(!var5)) {
 var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+show_backtrace(1);
 }
 var6 = var_pos < var2;
 var3 = var6;
 goto RET_LABEL4;
 RET_LABEL4:(void)0;
 }
+}
 if (var3){
 var7 = NULL;
 var = var7;
 goto RET_LABEL;
 } else {
 var8 = NEW_string_search__Match(&type_string_search__Match);
-var9 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:String>*/;
-((void (*)(val*, val*, long, long))(var8->class->vft[COLOR_string_search__Match__init]))(var8, var_s, var_pos, var9) /* init on <var8:Match>*/;
-CHECK_NEW_string_search__Match(var8);
-var = var8;
-goto RET_LABEL;
-}
-RET_LABEL:;
-return var;
+{
+var9 = ((val* (*)(val*))(var_s->class->vft[COLOR_string__Object__to_s]))(var_s) /* to_s on <var_s:Text>*/;
 }
-/* method string_search#String#search_in for (self: Object, String, Int): nullable Match */
-val* VIRTUAL_string_search__String__search_in(val* self, val* p0, long p1) {
-val* var /* : nullable Match */;
-val* var1 /* : nullable Match */;
-var1 = string_search__String__search_in(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
+{
+{ /* Inline string#FlatText#length (self) on <self:Text> */
+var12 = self->attrs[COLOR_string__FlatText___length].l; /* _length on <self:Text> */
+var10 = var12;
+RET_LABEL11:(void)0;
 }
-/* method string_search#String#search for (self: String, Pattern): nullable Match */
-val* string_search__String__search(val* self, val* p0) {
-val* var /* : nullable Match */;
-val* var_p /* var p: Pattern */;
-long var1 /* : Int */;
-val* var2 /* : nullable Match */;
-var_p = p0;
-var1 = 0;
-var2 = ((val* (*)(val*, val*, long))(var_p->class->vft[COLOR_string_search__Pattern__search_in]))(var_p, self, var1) /* search_in on <var_p:Pattern>*/;
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
 }
-/* method string_search#String#search for (self: Object, Pattern): nullable Match */
-val* VIRTUAL_string_search__String__search(val* self, val* p0) {
-val* var /* : nullable Match */;
-val* var1 /* : nullable Match */;
-var1 = string_search__String__search(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
+{
+string_search__Match__init(var8, var9, var_pos, var10); /* Direct call string_search#Match#init on <var8:Match>*/
 }
-/* method string_search#String#search_from for (self: String, Pattern, Int): nullable Match */
-val* string_search__String__search_from(val* self, val* p0, long p1) {
-val* var /* : nullable Match */;
-val* var_p /* var p: Pattern */;
-long var_from /* var from: Int */;
-val* var1 /* : nullable Match */;
-var_p = p0;
-var_from = p1;
-var1 = ((val* (*)(val*, val*, long))(var_p->class->vft[COLOR_string_search__Pattern__search_in]))(var_p, self, var_from) /* search_in on <var_p:Pattern>*/;
-var = var1;
+var = var8;
 goto RET_LABEL;
+}
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#search_from for (self: Object, Pattern, Int): nullable Match */
-val* VIRTUAL_string_search__String__search_from(val* self, val* p0, long p1) {
+/* method string_search#Text#search_in for (self: Object, Text, Int): nullable Match */
+val* VIRTUAL_string_search__Text__search_in(val* self, val* p0, long p1) {
 val* var /* : nullable Match */;
 val* var1 /* : nullable Match */;
-var1 = string_search__String__search_from(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method string_search#String#search_all for (self: String, Pattern): Array[Match] */
-val* string_search__String__search_all(val* self, val* p0) {
-val* var /* : Array[Match] */;
-val* var_p /* var p: Pattern */;
-val* var1 /* : Array[Match] */;
-var_p = p0;
-var1 = ((val* (*)(val*, val*))(var_p->class->vft[COLOR_string_search__Pattern__search_all_in]))(var_p, self) /* search_all_in on <var_p:Pattern>*/;
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#String#search_all for (self: Object, Pattern): Array[Match] */
-val* VIRTUAL_string_search__String__search_all(val* self, val* p0) {
-val* var /* : Array[Match] */;
-val* var1 /* : Array[Match] */;
-var1 = string_search__String__search_all(self, p0);
+var1 = string_search__Text__search_in(self, p0, p1);
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#split for (self: String, Pattern): Array[String] */
-val* string_search__String__split(val* self, val* p0) {
-val* var /* : Array[String] */;
+/* method string_search#Text#split for (self: Text, Pattern): Array[Text] */
+val* string_search__Text__split(val* self, val* p0) {
+val* var /* : Array[Text] */;
 val* var_p /* var p: Pattern */;
 val* var1 /* : Array[Match] */;
 val* var_matches /* var matches: Array[Match] */;
-val* var2 /* : Array[String] */;
+val* var2 /* : Array[Text] */;
 long var3 /* : Int */;
-val* var_res /* var res: Array[String] */;
-val* var4 /* : Iterator[nullable Object] */;
-short int var5 /* : Bool */;
-val* var6 /* : nullable Object */;
+long var5 /* : Int */;
+val* var_res /* var res: Array[Text] */;
+val* var_ /* var : Array[Match] */;
+val* var6 /* : ArrayIterator[nullable Object] */;
+val* var_7 /* var : ArrayIterator[Match] */;
+short int var8 /* : Bool */;
+val* var9 /* : nullable Object */;
 val* var_m /* var m: Match */;
-val* var7 /* : String */;
+val* var10 /* : String */;
+short int var11 /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
 var_p = p0;
-var1 = ((val* (*)(val*, val*))(var_p->class->vft[COLOR_string_search__Pattern__split_in]))(var_p, self) /* split_in on <var_p:Pattern>*/;
+{
+var1 = string_search__Pattern__split_in(var_p, self);
+}
 var_matches = var1;
-var2 = NEW_array__Array(&type_array__Arraystring__String);
-var3 = ((long (*)(val*))(var_matches->class->vft[COLOR_abstract_collection__Collection__length]))(var_matches) /* length on <var_matches:Array[Match]>*/;
-((void (*)(val*, long))(var2->class->vft[COLOR_array__Array__with_capacity]))(var2, var3) /* with_capacity on <var2:Array[String]>*/;
-CHECK_NEW_array__Array(var2);
+var2 = NEW_array__Array(self->type->resolution_table->types[COLOR_array__Arraystring__Text_VTSELFTYPE]);
+{
+{ /* Inline array#AbstractArrayRead#length (var_matches) on <var_matches:Array[Match]> */
+var5 = var_matches->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var_matches:Array[Match]> */
+var3 = var5;
+RET_LABEL4:(void)0;
+}
+}
+{
+array__Array__with_capacity(var2, var3); /* Direct call array#Array#with_capacity on <var2:Array[Text]>*/
+}
 var_res = var2;
-var4 = ((val* (*)(val*))(var_matches->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_matches) /* iterator on <var_matches:Array[Match]>*/;
+var_ = var_matches;
+{
+var6 = array__AbstractArrayRead__iterator(var_);
+}
+var_7 = var6;
 for(;;) {
-var5 = ((short int (*)(val*))(var4->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var4) /* is_ok on <var4:Iterator[nullable Object]>*/;
-if(!var5) break;
-var6 = ((val* (*)(val*))(var4->class->vft[COLOR_abstract_collection__Iterator__item]))(var4) /* item on <var4:Iterator[nullable Object]>*/;
-var_m = var6;
-var7 = ((val* (*)(val*))(var_m->class->vft[COLOR_string__Object__to_s]))(var_m) /* to_s on <var_m:Match>*/;
-((void (*)(val*, val*))(var_res->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_res, var7) /* add on <var_res:Array[String]>*/;
-CONTINUE_label: (void)0;
-((void (*)(val*))(var4->class->vft[COLOR_abstract_collection__Iterator__next]))(var4) /* next on <var4:Iterator[nullable Object]>*/;
+{
+var8 = array__ArrayIterator__is_ok(var_7);
+}
+if (var8){
+{
+var9 = array__ArrayIterator__item(var_7);
+}
+var_m = var9;
+{
+var10 = string_search__Match__to_s(var_m);
+}
+/* <var10:String> isa SELFTYPE */
+type_struct = self->type->resolution_table->types[COLOR_string__Text_VTSELFTYPE];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= var10->type->table_size) {
+var11 = 0;
+} else {
+var11 = var10->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var11)) {
+var_class_name = var10 == NULL ? "null" : var10->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "SELFTYPE", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string_search.nit", 353);
+show_backtrace(1);
+}
+{
+array__Array__add(var_res, var10); /* Direct call array#Array#add on <var_res:Array[Text]>*/
+}
+{
+array__ArrayIterator__next(var_7); /* Direct call array#ArrayIterator#next on <var_7:ArrayIterator[Match]>*/
+}
+} else {
+goto BREAK_label;
+}
 }
 BREAK_label: (void)0;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_7) on <var_7:ArrayIterator[Match]> */
+RET_LABEL12:(void)0;
+}
+}
 var = var_res;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#split for (self: Object, Pattern): Array[String] */
-val* VIRTUAL_string_search__String__split(val* self, val* p0) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-var1 = string_search__String__split(self, p0);
+/* method string_search#Text#split for (self: Object, Pattern): Array[Text] */
+val* VIRTUAL_string_search__Text__split(val* self, val* p0) {
+val* var /* : Array[Text] */;
+val* var1 /* : Array[Text] */;
+var1 = string_search__Text__split(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#split_with for (self: String, Pattern): Array[String] */
-val* string_search__String__split_with(val* self, val* p0) {
-val* var /* : Array[String] */;
+/* method string_search#Text#split_with for (self: Text, Pattern): Array[Text] */
+val* string_search__Text__split_with(val* self, val* p0) {
+val* var /* : Array[Text] */;
 val* var_p /* var p: Pattern */;
-val* var1 /* : Array[String] */;
+val* var1 /* : Array[Text] */;
 var_p = p0;
-var1 = ((val* (*)(val*, val*))(self->class->vft[COLOR_string_search__String__split]))(self, var_p) /* split on <self:String>*/;
+{
+var1 = string_search__Text__split(self, var_p);
+}
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#split_with for (self: Object, Pattern): Array[String] */
-val* VIRTUAL_string_search__String__split_with(val* self, val* p0) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-var1 = string_search__String__split_with(self, p0);
+/* method string_search#Text#split_with for (self: Object, Pattern): Array[Text] */
+val* VIRTUAL_string_search__Text__split_with(val* self, val* p0) {
+val* var /* : Array[Text] */;
+val* var1 /* : Array[Text] */;
+var1 = string_search__Text__split_with(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#replace for (self: String, Pattern, String): String */
-val* string_search__String__replace(val* self, val* p0, val* p1) {
-val* var /* : String */;
+/* method string_search#Text#split_once_on for (self: Text, Pattern): Array[Text] */
+val* string_search__Text__split_once_on(val* self, val* p0) {
+val* var /* : Array[Text] */;
 val* var_p /* var p: Pattern */;
-val* var_string /* var string: String */;
-val* var1 /* : Array[String] */;
-val* var2 /* : String */;
+long var1 /* : Int */;
+val* var2 /* : nullable Match */;
+val* var_m /* var m: nullable Match */;
+val* var3 /* : null */;
+short int var4 /* : Bool */;
+short int var5 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var7 /* : Bool */;
+short int var9 /* : Bool */;
+val* var10 /* : Array[Text] */;
+long var11 /* : Int */;
+val* var_ /* var : Array[Text] */;
+val* var12 /* : Array[Text] */;
+long var13 /* : Int */;
+long var14 /* : Int */;
+long var16 /* : Int */;
+val* var17 /* : Text */;
+long var18 /* : Int */;
+val* var19 /* : Text */;
+val* var20 /* : Array[nullable Object] */;
+long var21 /* : Int */;
+val* var22 /* : NativeArray[nullable Object] */;
 var_p = p0;
-var_string = p1;
-var1 = ((val* (*)(val*, val*))(self->class->vft[COLOR_string_search__String__split_with]))(self, var_p) /* split_with on <self:String>*/;
-var2 = ((val* (*)(val*, val*))(var1->class->vft[COLOR_string__Collection__join]))(var1, var_string) /* join on <var1:Array[String]>*/;
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method string_search#String#replace for (self: Object, Pattern, String): String */
-val* VIRTUAL_string_search__String__replace(val* self, val* p0, val* p1) {
-val* var /* : String */;
-val* var1 /* : String */;
-var1 = string_search__String__replace(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
+var1 = 0;
+{
+var2 = ((val* (*)(val*, val*, long))(var_p->class->vft[COLOR_string_search__Pattern__search_in]))(var_p, self, var1) /* search_in on <var_p:Pattern>*/;
 }
-/* method string_search#String#html_escape for (self: String): String */
-val* string_search__String__html_escape(val* self) {
-val* var /* : String */;
-val* var_ret /* var ret: String */;
-char var1 /* : Char */;
-short int var2 /* : Bool */;
-val* var3 /* : nullable Object */;
-char var4 /* : Char */;
-static val* varonce;
-val* var5 /* : String */;
-char* var6 /* : NativeString */;
-long var7 /* : Int */;
-val* var8 /* : String */;
-val* var9 /* : String */;
-val* var10 /* : Pattern */;
-char var11 /* : Char */;
-short int var12 /* : Bool */;
-val* var13 /* : nullable Object */;
-char var14 /* : Char */;
-static val* varonce15;
-val* var16 /* : String */;
-char* var17 /* : NativeString */;
-long var18 /* : Int */;
-val* var19 /* : String */;
-val* var20 /* : String */;
-val* var21 /* : Pattern */;
-char var22 /* : Char */;
-short int var23 /* : Bool */;
-val* var24 /* : nullable Object */;
-char var25 /* : Char */;
-static val* varonce26;
-val* var27 /* : String */;
-char* var28 /* : NativeString */;
-long var29 /* : Int */;
-val* var30 /* : String */;
-val* var31 /* : String */;
-val* var32 /* : Pattern */;
-char var33 /* : Char */;
-short int var34 /* : Bool */;
-val* var35 /* : nullable Object */;
-char var36 /* : Char */;
-static val* varonce37;
-val* var38 /* : String */;
-char* var39 /* : NativeString */;
-long var40 /* : Int */;
-val* var41 /* : String */;
-val* var42 /* : String */;
-val* var43 /* : Pattern */;
-var_ret = self;
-var1 = '&';
-var3 = BOX_kernel__Char(var1); /* autobox from Char to nullable Object */
-var2 = ((short int (*)(val*, val*))(var_ret->class->vft[COLOR_abstract_collection__Collection__has]))(var_ret, var3) /* has on <var_ret:String>*/;
-if (var2){
-var4 = '&';
-if (varonce) {
-var5 = varonce;
-} else {
-var6 = "&amp;";
-var7 = 5;
-var8 = string__NativeString__to_s_with_length(var6, var7);
-var5 = var8;
-varonce = var5;
-}
-var10 = BOX_kernel__Char(var4); /* autobox from Char to Pattern */
-var9 = ((val* (*)(val*, val*, val*))(var_ret->class->vft[COLOR_string_search__String__replace]))(var_ret, var10, var5) /* replace on <var_ret:String>*/;
-var_ret = var9;
+var_m = var2;
+var3 = NULL;
+if (var_m == NULL) {
+var4 = 1; /* is null */
 } else {
+var4 = 0; /* arg is null but recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#== (var_m,var3) on <var_m:nullable Match> */
+var_other = var3;
+{
+{ /* Inline kernel#Object#is_same_instance (var_m,var_other) on <var_m:nullable Match(Match)> */
+var9 = var_m == var_other;
+var7 = var9;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
 }
-var11 = '<';
-var13 = BOX_kernel__Char(var11); /* autobox from Char to nullable Object */
-var12 = ((short int (*)(val*, val*))(var_ret->class->vft[COLOR_abstract_collection__Collection__has]))(var_ret, var13) /* has on <var_ret:String>*/;
-if (var12){
-var14 = '<';
-if (varonce15) {
-var16 = varonce15;
-} else {
-var17 = "&lt;";
-var18 = 4;
-var19 = string__NativeString__to_s_with_length(var17, var18);
-var16 = var19;
-varonce15 = var16;
-}
-var21 = BOX_kernel__Char(var14); /* autobox from Char to Pattern */
-var20 = ((val* (*)(val*, val*, val*))(var_ret->class->vft[COLOR_string_search__String__replace]))(var_ret, var21, var16) /* replace on <var_ret:String>*/;
-var_ret = var20;
-} else {
 }
-var22 = '>';
-var24 = BOX_kernel__Char(var22); /* autobox from Char to nullable Object */
-var23 = ((short int (*)(val*, val*))(var_ret->class->vft[COLOR_abstract_collection__Collection__has]))(var_ret, var24) /* has on <var_ret:String>*/;
-if (var23){
-var25 = '>';
-if (varonce26) {
-var27 = varonce26;
-} else {
-var28 = "&gt;";
-var29 = 4;
-var30 = string__NativeString__to_s_with_length(var28, var29);
-var27 = var30;
-varonce26 = var27;
-}
-var32 = BOX_kernel__Char(var25); /* autobox from Char to Pattern */
-var31 = ((val* (*)(val*, val*, val*))(var_ret->class->vft[COLOR_string_search__String__replace]))(var_ret, var32, var27) /* replace on <var_ret:String>*/;
-var_ret = var31;
-} else {
+var5 = var7;
+goto RET_LABEL6;
+RET_LABEL6:(void)0;
 }
-var33 = '\"';
-var35 = BOX_kernel__Char(var33); /* autobox from Char to nullable Object */
-var34 = ((short int (*)(val*, val*))(var_ret->class->vft[COLOR_abstract_collection__Collection__has]))(var_ret, var35) /* has on <var_ret:String>*/;
-if (var34){
-var36 = '\"';
-if (varonce37) {
-var38 = varonce37;
-} else {
-var39 = "&quot;";
-var40 = 6;
-var41 = string__NativeString__to_s_with_length(var39, var40);
-var38 = var41;
-varonce37 = var38;
-}
-var43 = BOX_kernel__Char(var36); /* autobox from Char to Pattern */
-var42 = ((val* (*)(val*, val*, val*))(var_ret->class->vft[COLOR_string_search__String__replace]))(var_ret, var43, var38) /* replace on <var_ret:String>*/;
-var_ret = var42;
+var4 = var5;
+}
+if (var4){
+var10 = NEW_array__Array(&type_array__Arraystring__Text);
+var11 = 1;
+{
+array__Array__with_capacity(var10, var11); /* Direct call array#Array#with_capacity on <var10:Array[Text]>*/
+}
+var_ = var10;
+{
+array__AbstractArray__push(var_, self); /* Direct call array#AbstractArray#push on <var_:Array[Text]>*/
+}
+var = var_;
+goto RET_LABEL;
 } else {
 }
-var = var_ret;
+var12 = NEW_array__Array(self->type->resolution_table->types[COLOR_array__Arraystring__Text_VTSELFTYPE]);
+var13 = 0;
+{
+{ /* Inline string_search#Match#from (var_m) on <var_m:nullable Match(Match)> */
+var16 = var_m->attrs[COLOR_string_search__Match___from].l; /* _from on <var_m:nullable Match(Match)> */
+var14 = var16;
+RET_LABEL15:(void)0;
+}
+}
+{
+var17 = ((val* (*)(val*, long, long))(self->class->vft[COLOR_string__Text__substring]))(self, var13, var14) /* substring on <self:Text>*/;
+}
+{
+var18 = string_search__Match__after(var_m);
+}
+{
+var19 = string__Text__substring_from(self, var18);
+}
+var20 = NEW_array__Array(var12->type->resolution_table->types[COLOR_array__Arrayarray__Array_FT0]);
+{ /* var20 = array_instance Array[E] */
+var21 = 2;
+var22 = NEW_array__NativeArray(var21, var12->type->resolution_table->types[COLOR_array__NativeArrayarray__Array_FT0]);
+((struct instance_array__NativeArray*)var22)->values[0] = (val*) var17;
+((struct instance_array__NativeArray*)var22)->values[1] = (val*) var19;
+{
+((void (*)(val*, val*, long))(var20->class->vft[COLOR_array__Array__with_native]))(var20, var22, var21) /* with_native on <var20:Array[nullable Object]>*/;
+}
+}
+{
+array__Array__with_items(var12, var20); /* Direct call array#Array#with_items on <var12:Array[Text]>*/
+}
+var = var12;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method string_search#String#html_escape for (self: Object): String */
-val* VIRTUAL_string_search__String__html_escape(val* self) {
-val* var /* : String */;
-val* var1 /* : String */;
-var1 = string_search__String__html_escape(self);
+/* method string_search#Text#split_once_on for (self: Object, Pattern): Array[Text] */
+val* VIRTUAL_string_search__Text__split_once_on(val* self, val* p0) {
+val* var /* : Array[Text] */;
+val* var1 /* : Array[Text] */;
+var1 = string_search__Text__split_once_on(self, p0);
 var = var1;
 RET_LABEL:;
 return var;