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

diff --git a/c_src/opts.sep.1.c b/c_src/opts.sep.1.c
index 72952d4..5ea6272 100644
--- a/c_src/opts.sep.1.c
+++ b/c_src/opts.sep.1.c
@@ -1,131 +1,58 @@
 #include "opts.sep.0.h"
 /* method opts#Option#names for (self: Option): Array[String] */
-val* opts__Option__names(val* self) {
+val* opts___opts__Option___names(val* self) {
 val* var /* : Array[String] */;
 val* var1 /* : Array[String] */;
 var1 = self->attrs[COLOR_opts__Option___names].val; /* _names on <self:Option> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 19);
 show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#names for (self: Object): Array[String] */
-val* VIRTUAL_opts__Option__names(val* self) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-val* var3 /* : Array[String] */;
-{ /* Inline opts#Option#names (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___names].val; /* _names on <self:Object(Option)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
-show_backtrace(1);
-}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#Option#names= for (self: Option, Array[String]) */
-void opts__Option__names_61d(val* self, val* p0) {
+void opts___opts__Option___names_61d(val* self, val* p0) {
 self->attrs[COLOR_opts__Option___names].val = p0; /* _names on <self:Option> */
 RET_LABEL:;
 }
-/* method opts#Option#names= for (self: Object, Array[String]) */
-void VIRTUAL_opts__Option__names_61d(val* self, val* p0) {
-{ /* Inline opts#Option#names= (self,p0) on <self:Object(Option)> */
-self->attrs[COLOR_opts__Option___names].val = p0; /* _names on <self:Object(Option)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#Option#helptext for (self: Option): String */
-val* opts__Option__helptext(val* self) {
+val* opts___opts__Option___helptext(val* self) {
 val* var /* : String */;
 val* var1 /* : String */;
 var1 = self->attrs[COLOR_opts__Option___helptext].val; /* _helptext on <self:Option> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _helptext");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 25);
-show_backtrace(1);
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#Option#helptext for (self: Object): String */
-val* VIRTUAL_opts__Option__helptext(val* self) {
-val* var /* : String */;
-val* var1 /* : String */;
-val* var3 /* : String */;
-{ /* Inline opts#Option#helptext (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___helptext].val; /* _helptext on <self:Object(Option)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _helptext");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 25);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 25);
 show_backtrace(1);
 }
-var1 = var3;
-RET_LABEL2:(void)0;
-}
 var = var1;
 RET_LABEL:;
 return var;
 }
 /* method opts#Option#helptext= for (self: Option, String) */
-void opts__Option__helptext_61d(val* self, val* p0) {
+void opts___opts__Option___helptext_61d(val* self, val* p0) {
 self->attrs[COLOR_opts__Option___helptext].val = p0; /* _helptext on <self:Option> */
 RET_LABEL:;
 }
-/* method opts#Option#helptext= for (self: Object, String) */
-void VIRTUAL_opts__Option__helptext_61d(val* self, val* p0) {
-{ /* Inline opts#Option#helptext= (self,p0) on <self:Object(Option)> */
-self->attrs[COLOR_opts__Option___helptext].val = p0; /* _helptext on <self:Object(Option)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#Option#errors for (self: Option): Array[String] */
-val* opts__Option__errors(val* self) {
+val* opts___opts__Option___errors(val* self) {
 val* var /* : Array[String] */;
 val* var1 /* : Array[String] */;
 var1 = self->attrs[COLOR_opts__Option___errors].val; /* _errors on <self:Option> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 28);
-show_backtrace(1);
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#Option#errors for (self: Object): Array[String] */
-val* VIRTUAL_opts__Option__errors(val* self) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-val* var3 /* : Array[String] */;
-{ /* Inline opts#Option#errors (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___errors].val; /* _errors on <self:Object(Option)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 28);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 28);
 show_backtrace(1);
 }
-var1 = var3;
-RET_LABEL2:(void)0;
-}
 var = var1;
 RET_LABEL:;
 return var;
 }
 /* method opts#Option#mandatory for (self: Option): Bool */
-short int opts__Option__mandatory(val* self) {
+short int opts___opts__Option___mandatory(val* self) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
 var1 = self->attrs[COLOR_opts__Option___mandatory].s; /* _mandatory on <self:Option> */
@@ -133,22 +60,8 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#mandatory for (self: Object): Bool */
-short int VIRTUAL_opts__Option__mandatory(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-short int var3 /* : Bool */;
-{ /* Inline opts#Option#mandatory (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___mandatory].s; /* _mandatory on <self:Object(Option)> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#Option#hidden for (self: Option): Bool */
-short int opts__Option__hidden(val* self) {
+short int opts___opts__Option___hidden(val* self) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
 var1 = self->attrs[COLOR_opts__Option___hidden].s; /* _hidden on <self:Option> */
@@ -156,22 +69,13 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#hidden for (self: Object): Bool */
-short int VIRTUAL_opts__Option__hidden(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-short int var3 /* : Bool */;
-{ /* Inline opts#Option#hidden (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___hidden].s; /* _hidden on <self:Object(Option)> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
+/* method opts#Option#hidden= for (self: Option, Bool) */
+void opts___opts__Option___hidden_61d(val* self, short int p0) {
+self->attrs[COLOR_opts__Option___hidden].s = p0; /* _hidden on <self:Option> */
 RET_LABEL:;
-return var;
 }
 /* method opts#Option#read for (self: Option): Bool */
-short int opts__Option__read(val* self) {
+short int opts___opts__Option___read(val* self) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
 var1 = self->attrs[COLOR_opts__Option___read].s; /* _read on <self:Option> */
@@ -179,35 +83,13 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#read for (self: Object): Bool */
-short int VIRTUAL_opts__Option__read(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-short int var3 /* : Bool */;
-{ /* Inline opts#Option#read (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___read].s; /* _read on <self:Object(Option)> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#Option#read= for (self: Option, Bool) */
-void opts__Option__read_61d(val* self, short int p0) {
+void opts___opts__Option___read_61d(val* self, short int p0) {
 self->attrs[COLOR_opts__Option___read].s = p0; /* _read on <self:Option> */
 RET_LABEL:;
 }
-/* method opts#Option#read= for (self: Object, Bool) */
-void VIRTUAL_opts__Option__read_61d(val* self, short int p0) {
-{ /* Inline opts#Option#read= (self,p0) on <self:Object(Option)> */
-self->attrs[COLOR_opts__Option___read].s = p0; /* _read on <self:Object(Option)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#Option#value for (self: Option): nullable Object */
-val* opts__Option__value(val* self) {
+val* opts___opts__Option___value(val* self) {
 val* var /* : nullable Object */;
 val* var1 /* : nullable Object */;
 var1 = self->attrs[COLOR_opts__Option___value].val; /* _value on <self:Option> */
@@ -215,22 +97,8 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#value for (self: Object): nullable Object */
-val* VIRTUAL_opts__Option__value(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-val* var3 /* : nullable Object */;
-{ /* Inline opts#Option#value (self) on <self:Object(Option)> */
-var3 = self->attrs[COLOR_opts__Option___value].val; /* _value on <self:Object(Option)> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#Option#value= for (self: Option, nullable Object) */
-void opts__Option__value_61d(val* self, val* p0) {
+void opts___opts__Option___value_61d(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
@@ -239,7 +107,7 @@ short int is_nullable;
 const char* var_class_name;
 /* Covariant cast for argument 0 (value) <p0:nullable Object> isa VALUE */
 /* <p0:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
@@ -255,49 +123,14 @@ var = p0->type->type_table[cltype] == idtype;
 if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 40);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
 show_backtrace(1);
 }
 self->attrs[COLOR_opts__Option___value].val = p0; /* _value on <self:Option> */
 RET_LABEL:;
 }
-/* method opts#Option#value= for (self: Object, nullable Object) */
-void VIRTUAL_opts__Option__value_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-short int is_nullable;
-const char* var_class_name;
-{ /* Inline opts#Option#value= (self,p0) on <self:Object(Option)> */
-/* Covariant cast for argument 0 (value) <p0:nullable Object> isa VALUE */
-/* <p0:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
-cltype = type_struct->color;
-idtype = type_struct->id;
-is_nullable = type_struct->is_nullable;
-if(p0 == NULL) {
-var = is_nullable;
-} else {
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 40);
-show_backtrace(1);
-}
-self->attrs[COLOR_opts__Option___value].val = p0; /* _value on <self:Object(Option)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#Option#default_value= for (self: Option, nullable Object) */
-void opts__Option__default_value_61d(val* self, val* p0) {
+void opts___opts__Option___default_value_61d(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
@@ -306,7 +139,7 @@ short int is_nullable;
 const char* var_class_name;
 /* Covariant cast for argument 0 (default_value) <p0:nullable Object> isa VALUE */
 /* <p0:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
@@ -322,49 +155,14 @@ var = p0->type->type_table[cltype] == idtype;
 if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 43);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 43);
 show_backtrace(1);
 }
 self->attrs[COLOR_opts__Option___default_value].val = p0; /* _default_value on <self:Option> */
 RET_LABEL:;
 }
-/* method opts#Option#default_value= for (self: Object, nullable Object) */
-void VIRTUAL_opts__Option__default_value_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-short int is_nullable;
-const char* var_class_name;
-{ /* Inline opts#Option#default_value= (self,p0) on <self:Object(Option)> */
-/* Covariant cast for argument 0 (default_value) <p0:nullable Object> isa VALUE */
-/* <p0:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
-cltype = type_struct->color;
-idtype = type_struct->id;
-is_nullable = type_struct->is_nullable;
-if(p0 == NULL) {
-var = is_nullable;
-} else {
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 43);
-show_backtrace(1);
-}
-self->attrs[COLOR_opts__Option___default_value].val = p0; /* _default_value on <self:Object(Option)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#Option#init for (self: Option, String, nullable Object, nullable Array[String]) */
-void opts__Option__init(val* self, val* p0, val* p1, val* p2) {
+void opts___opts__Option___init(val* self, val* p0, val* p1, val* p2) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
@@ -376,7 +174,7 @@ val* var_default /* var default: nullable Object */;
 val* var_names /* var names: nullable Array[String] */;
 /* Covariant cast for argument 1 (default) <p1:nullable Object> isa VALUE */
 /* <p1:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
@@ -392,24 +190,19 @@ var = p1->type->type_table[cltype] == idtype;
 if (unlikely(!var)) {
 var_class_name = p1 == NULL ? "null" : p1->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 46);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 46);
 show_backtrace(1);
 }
 var_help = p0;
 var_default = p1;
 var_names = p2;
 {
-opts__Option__init_opt(self, var_help, var_default, var_names); /* Direct call opts#Option#init_opt on <self:Option>*/
-}
-RET_LABEL:;
+opts___opts__Option___init_opt(self, var_help, var_default, var_names); /* Direct call opts#Option#init_opt on <self:Option>*/
 }
-/* method opts#Option#init for (self: Object, String, nullable Object, nullable Array[String]) */
-void VIRTUAL_opts__Option__init(val* self, val* p0, val* p1, val* p2) {
-opts__Option__init(self, p0, p1, p2); /* Direct call opts#Option#init on <self:Object(Option)>*/
 RET_LABEL:;
 }
 /* method opts#Option#init_opt for (self: Option, String, nullable Object, nullable Array[String]) */
-void opts__Option__init_opt(val* self, val* p0, val* p1, val* p2) {
+void opts___opts__Option___init_opt(val* self, val* p0, val* p1, val* p2) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
@@ -438,7 +231,7 @@ short int is_nullable21;
 const char* var_class_name22;
 /* Covariant cast for argument 1 (default) <p1:nullable Object> isa VALUE */
 /* <p1:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
@@ -454,7 +247,7 @@ var = p1->type->type_table[cltype] == idtype;
 if (unlikely(!var)) {
 var_class_name = p1 == NULL ? "null" : p1->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 52);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 51);
 show_backtrace(1);
 }
 var_help = p0;
@@ -467,13 +260,13 @@ var2 = 1; /* is null */
 var2 = 0; /* arg is null but recv is not */
 }
 if (0) {
-var3 = abstract_collection__SequenceRead___61d_61d(var_names, var1);
+var3 = standard___standard__Array___standard__kernel__Object___61d_61d(var_names, var1);
 var2 = var3;
 }
 if (var2){
-var4 = NEW_array__Array(&type_array__Arraystring__String);
+var4 = NEW_standard__Array(&type_standard__Array__standard__String);
 {
-array__Array__init(var4); /* Direct call array#Array#init on <var4:Array[String]>*/
+standard___standard__Array___standard__kernel__Object__init(var4); /* Direct call array#Array#init on <var4:Array[String]>*/
 }
 {
 { /* Inline opts#Option#names= (self,var4) on <self:Option> */
@@ -483,7 +276,7 @@ RET_LABEL5:(void)0;
 }
 } else {
 {
-var6 = array__Collection__to_a(var_names);
+var6 = standard__array___Collection___to_a(var_names);
 }
 {
 { /* Inline opts#Option#names= (self,var6) on <self:Option> */
@@ -502,7 +295,7 @@ RET_LABEL8:(void)0;
 { /* Inline opts#Option#default_value= (self,var_default) on <self:Option> */
 /* Covariant cast for argument 0 (default_value) <var_default:nullable Object> isa VALUE */
 /* <var_default:nullable Object> isa VALUE */
-type_struct13 = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct13 = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype11 = type_struct13->color;
 idtype12 = type_struct13->id;
 is_nullable14 = type_struct13->is_nullable;
@@ -518,7 +311,7 @@ var10 = var_default->type->type_table[cltype11] == idtype12;
 if (unlikely(!var10)) {
 var_class_name15 = var_default == NULL ? "null" : var_default->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name15);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 43);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 43);
 show_backtrace(1);
 }
 self->attrs[COLOR_opts__Option___default_value].val = var_default; /* _default_value on <self:Option> */
@@ -529,7 +322,7 @@ RET_LABEL9:(void)0;
 { /* Inline opts#Option#value= (self,var_default) on <self:Option> */
 /* Covariant cast for argument 0 (value) <var_default:nullable Object> isa VALUE */
 /* <var_default:nullable Object> isa VALUE */
-type_struct20 = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct20 = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype18 = type_struct20->color;
 idtype19 = type_struct20->id;
 is_nullable21 = type_struct20->is_nullable;
@@ -545,7 +338,7 @@ var17 = var_default->type->type_table[cltype18] == idtype19;
 if (unlikely(!var17)) {
 var_class_name22 = var_default == NULL ? "null" : var_default->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name22);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 40);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
 show_backtrace(1);
 }
 self->attrs[COLOR_opts__Option___value].val = var_default; /* _value on <self:Option> */
@@ -554,36 +347,22 @@ RET_LABEL16:(void)0;
 }
 RET_LABEL:;
 }
-/* method opts#Option#init_opt for (self: Object, String, nullable Object, nullable Array[String]) */
-void VIRTUAL_opts__Option__init_opt(val* self, val* p0, val* p1, val* p2) {
-opts__Option__init_opt(self, p0, p1, p2); /* Direct call opts#Option#init_opt on <self:Object(Option)>*/
-RET_LABEL:;
-}
 /* method opts#Option#to_s for (self: Option): String */
-val* opts__Option__to_s(val* self) {
+val* opts___opts__Option___standard__string__Object__to_s(val* self) {
 val* var /* : String */;
 long var1 /* : Int */;
 val* var2 /* : String */;
 var1 = 2;
 {
-var2 = opts__Option__pretty(self, var1);
+var2 = opts___opts__Option___pretty(self, var1);
 }
 var = var2;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#to_s for (self: Object): String */
-val* VIRTUAL_opts__Option__to_s(val* self) {
-val* var /* : String */;
-val* var1 /* : String */;
-var1 = opts__Option__to_s(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#Option#pretty for (self: Option, Int): String */
-val* opts__Option__pretty(val* self, long p0) {
+val* opts___opts__Option___pretty(val* self, long p0) {
 val* var /* : String */;
 long var_off /* var off: Int */;
 val* var1 /* : FlatBuffer */;
@@ -632,18 +411,18 @@ val* var41 /* : String */;
 val* var43 /* : String */;
 val* var44 /* : String */;
 var_off = p0;
-var1 = NEW_string__FlatBuffer(&type_string__FlatBuffer);
+var1 = NEW_standard__FlatBuffer(&type_standard__FlatBuffer);
 if (varonce) {
 var2 = varonce;
 } else {
 var3 = "  ";
 var4 = 2;
-var5 = string__NativeString__to_s_with_length(var3, var4);
+var5 = standard___standard__NativeString___to_s_with_length(var3, var4);
 var2 = var5;
 varonce = var2;
 }
 {
-string__FlatBuffer__from(var1, var2); /* Direct call string#FlatBuffer#from on <var1:FlatBuffer>*/
+standard___standard__FlatBuffer___from(var1, var2); /* Direct call string#FlatBuffer#from on <var1:FlatBuffer>*/
 }
 var_text = var1;
 {
@@ -651,7 +430,7 @@ var_text = var1;
 var8 = self->attrs[COLOR_opts__Option___names].val; /* _names on <self:Option> */
 if (unlikely(var8 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 19);
 show_backtrace(1);
 }
 var6 = var8;
@@ -663,31 +442,31 @@ var10 = varonce9;
 } else {
 var11 = ", ";
 var12 = 2;
-var13 = string__NativeString__to_s_with_length(var11, var12);
+var13 = standard___standard__NativeString___to_s_with_length(var11, var12);
 var10 = var13;
 varonce9 = var10;
 }
 {
-var14 = string__Collection__join(var6, var10);
+var14 = standard__string___Collection___join(var6, var10);
 }
 {
-string__FlatBuffer__append(var_text, var14); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
+standard___standard__FlatBuffer___Buffer__append(var_text, var14); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
 }
 if (varonce15) {
 var16 = varonce15;
 } else {
 var17 = "  ";
 var18 = 2;
-var19 = string__NativeString__to_s_with_length(var17, var18);
+var19 = standard___standard__NativeString___to_s_with_length(var17, var18);
 var16 = var19;
 varonce15 = var16;
 }
 {
-string__FlatBuffer__append(var_text, var16); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
+standard___standard__FlatBuffer___Buffer__append(var_text, var16); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
 }
 {
 { /* Inline string#FlatText#length (var_text) on <var_text:FlatBuffer> */
-var22 = var_text->attrs[COLOR_string__FlatText___length].l; /* _length on <var_text:FlatBuffer> */
+var22 = var_text->attrs[COLOR_standard__string__FlatText___length].l; /* _length on <var_text:FlatBuffer> */
 var20 = var22;
 RET_LABEL21:(void)0;
 }
@@ -698,9 +477,9 @@ RET_LABEL21:(void)0;
 /* <var20:Int> isa OTHER */
 var25 = 1; /* easy <var20:Int> isa OTHER*/
 if (unlikely(!var25)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__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", 331);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
 show_backtrace(1);
 }
 var26 = var_off - var20;
@@ -717,9 +496,9 @@ var27 = 0;
 /* <var27:Int> isa OTHER */
 var30 = 1; /* easy <var27:Int> isa OTHER*/
 if (unlikely(!var30)) {
-var_class_name33 = type_kernel__Int.name;
+var_class_name33 = type_standard__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", 327);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
 show_backtrace(1);
 }
 var34 = var_rest > var27;
@@ -734,15 +513,15 @@ var36 = varonce35;
 } else {
 var37 = " ";
 var38 = 1;
-var39 = string__NativeString__to_s_with_length(var37, var38);
+var39 = standard___standard__NativeString___to_s_with_length(var37, var38);
 var36 = var39;
 varonce35 = var36;
 }
 {
-var40 = string__FlatString___42d(var36, var_rest);
+var40 = ((val* (*)(val* self, long p0))(var36->class->vft[COLOR_standard__string__String___42d]))(var36, var_rest) /* * on <var36:String>*/;
 }
 {
-string__FlatBuffer__append(var_text, var40); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
+standard___standard__FlatBuffer___Buffer__append(var_text, var40); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
 }
 } else {
 }
@@ -751,7 +530,7 @@ string__FlatBuffer__append(var_text, var40); /* Direct call string#FlatBuffer#ap
 var43 = self->attrs[COLOR_opts__Option___helptext].val; /* _helptext on <self:Option> */
 if (unlikely(var43 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _helptext");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 25);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 25);
 show_backtrace(1);
 }
 var41 = var43;
@@ -759,27 +538,18 @@ RET_LABEL42:(void)0;
 }
 }
 {
-string__FlatBuffer__append(var_text, var41); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
+standard___standard__FlatBuffer___Buffer__append(var_text, var41); /* Direct call string#FlatBuffer#append on <var_text:FlatBuffer>*/
 }
 {
-var44 = string__FlatBuffer__to_s(var_text);
+var44 = standard___standard__FlatBuffer___Object__to_s(var_text);
 }
 var = var44;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method opts#Option#pretty for (self: Object, Int): String */
-val* VIRTUAL_opts__Option__pretty(val* self, long p0) {
-val* var /* : String */;
-val* var1 /* : String */;
-var1 = opts__Option__pretty(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#Option#read_param for (self: Option, Iterator[String]) */
-void opts__Option__read_param(val* self, val* p0) {
+void opts___opts__Option___read_param(val* self, val* p0) {
 val* var_it /* var it: Iterator[String] */;
 short int var /* : Bool */;
 var_it = p0;
@@ -792,13 +562,8 @@ RET_LABEL1:(void)0;
 }
 RET_LABEL:;
 }
-/* method opts#Option#read_param for (self: Object, Iterator[String]) */
-void VIRTUAL_opts__Option__read_param(val* self, val* p0) {
-opts__Option__read_param(self, p0); /* Direct call opts#Option#read_param on <self:Object(Option)>*/
-RET_LABEL:;
-}
 /* method opts#OptionBool#init for (self: OptionBool, String, Array[String]) */
-void opts__OptionBool__init(val* self, val* p0, val* p1) {
+void opts___opts__OptionBool___init(val* self, val* p0, val* p1) {
 val* var_help /* var help: String */;
 val* var_names /* var names: Array[String] */;
 short int var /* : Bool */;
@@ -807,18 +572,13 @@ var_help = p0;
 var_names = p1;
 var = 0;
 {
-var1 = BOX_kernel__Bool(var); /* autobox from Bool to nullable Object */
-opts__Option__init(self, var_help, var1, var_names); /* Direct call opts#Option#init on <self:OptionBool>*/
-}
-RET_LABEL:;
+var1 = BOX_standard__Bool(var); /* autobox from Bool to nullable Object */
+opts___opts__Option___init(self, var_help, var1, var_names); /* Direct call opts#Option#init on <self:OptionBool>*/
 }
-/* method opts#OptionBool#init for (self: Object, String, Array[String]) */
-void VIRTUAL_opts__OptionBool__init(val* self, val* p0, val* p1) {
-opts__OptionBool__init(self, p0, p1); /* Direct call opts#OptionBool#init on <self:Object(OptionBool)>*/
 RET_LABEL:;
 }
 /* method opts#OptionBool#read_param for (self: OptionBool, Iterator[String]) */
-void opts__OptionBool__read_param(val* self, val* p0) {
+void opts___opts__OptionBool___Option__read_param(val* self, val* p0) {
 val* var_it /* var it: Iterator[String] */;
 short int var /* : Bool */;
 short int var2 /* : Bool */;
@@ -829,41 +589,36 @@ const char* var_class_name;
 val* var3 /* : nullable Object */;
 var_it = p0;
 {
-((void (*)(val*, val*))(self->class->vft[COLOR_opts__OptionBool__read_param]))(self, p0) /* read_param on <self:OptionBool>*/;
+((void (*)(val* self, val* p0))(self->class->vft[COLOR_opts___opts__OptionBool___Option__read_param]))(self, p0) /* read_param on <self:OptionBool>*/;
 }
 var = 1;
 {
 { /* Inline opts#Option#value= (self,var) on <self:OptionBool> */
 /* Covariant cast for argument 0 (value) <var:Bool> isa VALUE */
 /* <var:Bool> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
-if(cltype >= (&type_kernel__Bool)->table_size) {
+if(cltype >= (&type_standard__Bool)->table_size) {
 var2 = 0;
 } else {
-var2 = (&type_kernel__Bool)->type_table[cltype] == idtype;
+var2 = (&type_standard__Bool)->type_table[cltype] == idtype;
 }
 if (unlikely(!var2)) {
-var_class_name = type_kernel__Bool.name;
+var_class_name = type_standard__Bool.name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 40);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
 show_backtrace(1);
 }
-var3 = BOX_kernel__Bool(var); /* autobox from Bool to nullable Object */
+var3 = BOX_standard__Bool(var); /* autobox from Bool to nullable Object */
 self->attrs[COLOR_opts__Option___value].val = var3; /* _value on <self:OptionBool> */
 RET_LABEL1:(void)0;
 }
 }
 RET_LABEL:;
 }
-/* method opts#OptionBool#read_param for (self: Object, Iterator[String]) */
-void VIRTUAL_opts__OptionBool__read_param(val* self, val* p0) {
-opts__OptionBool__read_param(self, p0); /* Direct call opts#OptionBool#read_param on <self:Object(OptionBool)>*/
-RET_LABEL:;
-}
 /* method opts#OptionCount#init for (self: OptionCount, String, Array[String]) */
-void opts__OptionCount__init(val* self, val* p0, val* p1) {
+void opts___opts__OptionCount___init(val* self, val* p0, val* p1) {
 val* var_help /* var help: String */;
 val* var_names /* var names: Array[String] */;
 long var /* : Int */;
@@ -872,18 +627,13 @@ var_help = p0;
 var_names = p1;
 var = 0;
 {
-var1 = BOX_kernel__Int(var); /* autobox from Int to nullable Object */
-opts__Option__init(self, var_help, var1, var_names); /* Direct call opts#Option#init on <self:OptionCount>*/
-}
-RET_LABEL:;
+var1 = BOX_standard__Int(var); /* autobox from Int to nullable Object */
+opts___opts__Option___init(self, var_help, var1, var_names); /* Direct call opts#Option#init on <self:OptionCount>*/
 }
-/* method opts#OptionCount#init for (self: Object, String, Array[String]) */
-void VIRTUAL_opts__OptionCount__init(val* self, val* p0, val* p1) {
-opts__OptionCount__init(self, p0, p1); /* Direct call opts#OptionCount#init on <self:Object(OptionCount)>*/
 RET_LABEL:;
 }
 /* method opts#OptionCount#read_param for (self: OptionCount, Iterator[String]) */
-void opts__OptionCount__read_param(val* self, val* p0) {
+void opts___opts__OptionCount___Option__read_param(val* self, val* p0) {
 val* var_it /* var it: Iterator[String] */;
 val* var_ /* var : OptionCount */;
 val* var /* : nullable Object */;
@@ -904,7 +654,7 @@ const char* var_class_name13;
 val* var14 /* : nullable Object */;
 var_it = p0;
 {
-((void (*)(val*, val*))(self->class->vft[COLOR_opts__OptionCount__read_param]))(self, p0) /* read_param on <self:OptionCount>*/;
+((void (*)(val* self, val* p0))(self->class->vft[COLOR_opts___opts__OptionCount___Option__read_param]))(self, p0) /* read_param on <self:OptionCount>*/;
 }
 var_ = self;
 {
@@ -921,12 +671,12 @@ var3 = 1;
 /* <var3:Int> isa OTHER */
 var6 = 1; /* easy <var3:Int> isa OTHER*/
 if (unlikely(!var6)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__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", 328);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
 show_backtrace(1);
 }
-var7 = ((struct instance_kernel__Int*)var)->value; /* autounbox from nullable Object to Int */;
+var7 = ((struct instance_standard__Int*)var)->value; /* autounbox from nullable Object to Int */;
 var8 = var7 + var3;
 var4 = var8;
 goto RET_LABEL5;
@@ -937,34 +687,29 @@ RET_LABEL5:(void)0;
 { /* Inline opts#Option#value= (var_,var4) on <var_:OptionCount> */
 /* Covariant cast for argument 0 (value) <var4:Int> isa VALUE */
 /* <var4:Int> isa VALUE */
-type_struct = var_->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = var_->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype11 = type_struct->color;
 idtype12 = type_struct->id;
-if(cltype11 >= (&type_kernel__Int)->table_size) {
+if(cltype11 >= (&type_standard__Int)->table_size) {
 var10 = 0;
 } else {
-var10 = (&type_kernel__Int)->type_table[cltype11] == idtype12;
+var10 = (&type_standard__Int)->type_table[cltype11] == idtype12;
 }
 if (unlikely(!var10)) {
-var_class_name13 = type_kernel__Int.name;
+var_class_name13 = type_standard__Int.name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name13);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 40);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
 show_backtrace(1);
 }
-var14 = BOX_kernel__Int(var4); /* autobox from Int to nullable Object */
+var14 = BOX_standard__Int(var4); /* autobox from Int to nullable Object */
 var_->attrs[COLOR_opts__Option___value].val = var14; /* _value on <var_:OptionCount> */
 RET_LABEL9:(void)0;
 }
 }
 RET_LABEL:;
 }
-/* method opts#OptionCount#read_param for (self: Object, Iterator[String]) */
-void VIRTUAL_opts__OptionCount__read_param(val* self, val* p0) {
-opts__OptionCount__read_param(self, p0); /* Direct call opts#OptionCount#read_param on <self:Object(OptionCount)>*/
-RET_LABEL:;
-}
 /* method opts#OptionParameter#parameter_mandatory for (self: OptionParameter): Bool */
-short int opts__OptionParameter__parameter_mandatory(val* self) {
+short int opts___opts__OptionParameter___parameter_mandatory(val* self) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
 var1 = self->attrs[COLOR_opts__OptionParameter___parameter_mandatory].s; /* _parameter_mandatory on <self:OptionParameter> */
@@ -972,231 +717,216 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionParameter#parameter_mandatory for (self: Object): Bool */
-short int VIRTUAL_opts__OptionParameter__parameter_mandatory(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-short int var3 /* : Bool */;
-{ /* Inline opts#OptionParameter#parameter_mandatory (self) on <self:Object(OptionParameter)> */
-var3 = self->attrs[COLOR_opts__OptionParameter___parameter_mandatory].s; /* _parameter_mandatory on <self:Object(OptionParameter)> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#OptionParameter#read_param for (self: OptionParameter, Iterator[String]) */
-void opts__OptionParameter__read_param(val* self, val* p0) {
+void opts___opts__OptionParameter___Option__read_param(val* self, val* p0) {
 val* var_it /* var it: Iterator[String] */;
 short int var /* : Bool */;
 short int var1 /* : Bool */;
 short int var_ /* var : Bool */;
-val* var2 /* : nullable Object */;
-val* var3 /* : SequenceRead[Char] */;
-val* var5 /* : SequenceRead[Char] */;
+short int var2 /* : Bool */;
+val* var3 /* : nullable Object */;
+short int var4 /* : Bool */;
+short int var_5 /* var : Bool */;
 val* var6 /* : nullable Object */;
-char var7 /* : Char */;
-short int var8 /* : Bool */;
-short int var9 /* : Bool */;
-short int var11 /* : Bool */;
-char var12 /* : Char */;
-short int var13 /* : Bool */;
-val* var14 /* : nullable Object */;
+val* var7 /* : SequenceRead[Char] */;
+val* var8 /* : nullable Object */;
+char var9 /* : Char */;
+short int var10 /* : Bool */;
+short int var12 /* : Bool */;
+char var13 /* : Char */;
+short int var14 /* : Bool */;
 val* var15 /* : nullable Object */;
-short int var17 /* : Bool */;
+val* var16 /* : nullable Object */;
+short int var18 /* : Bool */;
 int cltype;
 int idtype;
 const struct type* type_struct;
 short int is_nullable;
 const char* var_class_name;
-short int var18 /* : Bool */;
-short int var20 /* : Bool */;
-val* var21 /* : Array[String] */;
-val* var23 /* : Array[String] */;
+short int var19 /* : Bool */;
+short int var21 /* : Bool */;
+val* var22 /* : Array[String] */;
+val* var24 /* : Array[String] */;
 static val* varonce;
-val* var24 /* : String */;
-char* var25 /* : NativeString */;
-long var26 /* : Int */;
-val* var27 /* : FlatString */;
-val* var28 /* : Array[String] */;
-val* var30 /* : Array[String] */;
-val* var31 /* : nullable Object */;
-static val* varonce32;
-val* var33 /* : String */;
-char* var34 /* : NativeString */;
-long var35 /* : Int */;
-val* var36 /* : FlatString */;
-val* var37 /* : Array[Object] */;
-long var38 /* : Int */;
-val* var39 /* : NativeArray[Object] */;
-val* var40 /* : String */;
+val* var25 /* : String */;
+char* var26 /* : NativeString */;
+long var27 /* : Int */;
+val* var28 /* : FlatString */;
+val* var29 /* : Array[String] */;
+val* var31 /* : Array[String] */;
+val* var32 /* : nullable Object */;
+static val* varonce33;
+val* var34 /* : String */;
+char* var35 /* : NativeString */;
+long var36 /* : Int */;
+val* var37 /* : FlatString */;
+val* var38 /* : Array[Object] */;
+long var39 /* : Int */;
+val* var40 /* : NativeArray[Object] */;
+val* var41 /* : String */;
 var_it = p0;
 {
-((void (*)(val*, val*))(self->class->vft[COLOR_opts__OptionParameter__read_param]))(self, p0) /* read_param on <self:OptionParameter>*/;
+((void (*)(val* self, val* p0))(self->class->vft[COLOR_opts___opts__OptionParameter___Option__read_param]))(self, p0) /* read_param on <self:OptionParameter>*/;
 }
 {
-var1 = ((short int (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var_it) /* is_ok on <var_it:Iterator[String]>*/;
+var1 = ((short int (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__is_ok]))(var_it) /* is_ok on <var_it:Iterator[String]>*/;
 }
 var_ = var1;
 if (var1){
 {
-var2 = ((val* (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
+var3 = ((val* (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
 }
 {
-{ /* Inline string#FlatString#chars (var2) on <var2:nullable Object(String)> */
-var5 = var2->attrs[COLOR_string__FlatString___chars].val; /* _chars on <var2:nullable Object(String)> */
-if (unlikely(var5 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
-PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 746);
-show_backtrace(1);
+var4 = standard___standard__Text___is_empty(var3);
 }
-var3 = var5;
-RET_LABEL4:(void)0;
+var_5 = var4;
+if (var4){
+var2 = var_5;
+} else {
+{
+var6 = ((val* (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
 }
+{
+var7 = ((val* (*)(val* self))(var6->class->vft[COLOR_standard__string__Text__chars]))(var6) /* chars on <var6:nullable Object(String)>*/;
 }
 {
-var6 = ((val* (*)(val*))(var3->class->vft[COLOR_abstract_collection__Collection__first]))(var3) /* first on <var3:SequenceRead[Char]>*/;
+var8 = ((val* (*)(val* self))(var7->class->vft[COLOR_standard__abstract_collection__Collection__first]))(var7) /* first on <var7:SequenceRead[Char]>*/;
 }
-var7 = '-';
+var9 = '-';
 {
-{ /* Inline kernel#Char#!= (var6,var7) on <var6:nullable Object(Char)> */
-var11 = (var6 != NULL) && (var6->class == &class_kernel__Char);
-if (var11) {
-var12 = ((struct instance_kernel__Char*)var6)->value; /* autounbox from nullable Object to Char */;
-var11 = (var12 == var7);
+{ /* Inline kernel#Char#!= (var8,var9) on <var8:nullable Object(Char)> */
+var12 = (var8 != NULL) && (var8->class == &class_standard__Char);
+if (var12) {
+var13 = ((struct instance_standard__Char*)var8)->value; /* autounbox from nullable Object to Char */;
+var12 = (var13 == var9);
 }
-var13 = !var11;
-var9 = var13;
-goto RET_LABEL10;
-RET_LABEL10:(void)0;
+var14 = !var12;
+var10 = var14;
+goto RET_LABEL11;
+RET_LABEL11:(void)0;
 }
-var8 = var9;
 }
-var = var8;
+var2 = var10;
+}
+var = var2;
 } else {
 var = var_;
 }
 if (var){
 {
-var14 = ((val* (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
+var15 = ((val* (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
 }
 {
-var15 = ((val* (*)(val*, val*))(self->class->vft[COLOR_opts__OptionParameter__convert]))(self, var14) /* convert on <self:OptionParameter>*/;
+var16 = ((val* (*)(val* self, val* p0))(self->class->vft[COLOR_opts__OptionParameter__convert]))(self, var15) /* convert on <self:OptionParameter>*/;
 }
 {
-{ /* Inline opts#Option#value= (self,var15) on <self:OptionParameter> */
-/* Covariant cast for argument 0 (value) <var15:nullable Object> isa VALUE */
-/* <var15:nullable Object> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+{ /* Inline opts#Option#value= (self,var16) on <self:OptionParameter> */
+/* Covariant cast for argument 0 (value) <var16:nullable Object> isa VALUE */
+/* <var16:nullable Object> isa VALUE */
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
-if(var15 == NULL) {
-var17 = is_nullable;
+if(var16 == NULL) {
+var18 = is_nullable;
 } else {
-if(cltype >= var15->type->table_size) {
-var17 = 0;
+if(cltype >= var16->type->table_size) {
+var18 = 0;
 } else {
-var17 = var15->type->type_table[cltype] == idtype;
+var18 = var16->type->type_table[cltype] == idtype;
 }
 }
-if (unlikely(!var17)) {
-var_class_name = var15 == NULL ? "null" : var15->type->name;
+if (unlikely(!var18)) {
+var_class_name = var16 == NULL ? "null" : var16->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 40);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
 show_backtrace(1);
 }
-self->attrs[COLOR_opts__Option___value].val = var15; /* _value on <self:OptionParameter> */
-RET_LABEL16:(void)0;
+self->attrs[COLOR_opts__Option___value].val = var16; /* _value on <self:OptionParameter> */
+RET_LABEL17:(void)0;
 }
 }
 {
-((void (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
+((void (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
 }
 } else {
 {
 { /* Inline opts#OptionParameter#parameter_mandatory (self) on <self:OptionParameter> */
-var20 = self->attrs[COLOR_opts__OptionParameter___parameter_mandatory].s; /* _parameter_mandatory on <self:OptionParameter> */
-var18 = var20;
-RET_LABEL19:(void)0;
+var21 = self->attrs[COLOR_opts__OptionParameter___parameter_mandatory].s; /* _parameter_mandatory on <self:OptionParameter> */
+var19 = var21;
+RET_LABEL20:(void)0;
 }
 }
-if (var18){
+if (var19){
 {
 { /* Inline opts#Option#errors (self) on <self:OptionParameter> */
-var23 = self->attrs[COLOR_opts__Option___errors].val; /* _errors on <self:OptionParameter> */
-if (unlikely(var23 == NULL)) {
+var24 = self->attrs[COLOR_opts__Option___errors].val; /* _errors on <self:OptionParameter> */
+if (unlikely(var24 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 28);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 28);
 show_backtrace(1);
 }
-var21 = var23;
-RET_LABEL22:(void)0;
+var22 = var24;
+RET_LABEL23:(void)0;
 }
 }
 if (varonce) {
-var24 = varonce;
+var25 = varonce;
 } else {
-var25 = "Parameter expected for option ";
-var26 = 30;
-var27 = string__NativeString__to_s_with_length(var25, var26);
-var24 = var27;
-varonce = var24;
+var26 = "Parameter expected for option ";
+var27 = 30;
+var28 = standard___standard__NativeString___to_s_with_length(var26, var27);
+var25 = var28;
+varonce = var25;
 }
 {
 { /* Inline opts#Option#names (self) on <self:OptionParameter> */
-var30 = self->attrs[COLOR_opts__Option___names].val; /* _names on <self:OptionParameter> */
-if (unlikely(var30 == NULL)) {
+var31 = self->attrs[COLOR_opts__Option___names].val; /* _names on <self:OptionParameter> */
+if (unlikely(var31 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 19);
 show_backtrace(1);
 }
-var28 = var30;
-RET_LABEL29:(void)0;
+var29 = var31;
+RET_LABEL30:(void)0;
 }
 }
 {
-var31 = abstract_collection__SequenceRead__first(var28);
+var32 = standard___standard__SequenceRead___Collection__first(var29);
 }
-if (varonce32) {
-var33 = varonce32;
+if (varonce33) {
+var34 = varonce33;
 } else {
-var34 = ".";
-var35 = 1;
-var36 = string__NativeString__to_s_with_length(var34, var35);
-var33 = var36;
-varonce32 = var33;
+var35 = ".";
+var36 = 1;
+var37 = standard___standard__NativeString___to_s_with_length(var35, var36);
+var34 = var37;
+varonce33 = var34;
 }
-var37 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var37 = array_instance Array[Object] */
-var38 = 3;
-var39 = NEW_array__NativeArray(var38, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var39)->values[0] = (val*) var24;
-((struct instance_array__NativeArray*)var39)->values[1] = (val*) var31;
-((struct instance_array__NativeArray*)var39)->values[2] = (val*) var33;
+var38 = NEW_standard__Array(&type_standard__Array__standard__Object);
+{ /* var38 = array_instance Array[Object] */
+var39 = 3;
+var40 = NEW_standard__NativeArray(var39, &type_standard__NativeArray__standard__Object);
+((struct instance_standard__NativeArray*)var40)->values[0] = (val*) var25;
+((struct instance_standard__NativeArray*)var40)->values[1] = (val*) var32;
+((struct instance_standard__NativeArray*)var40)->values[2] = (val*) var34;
 {
-((void (*)(val*, val*, long))(var37->class->vft[COLOR_array__Array__with_native]))(var37, var39, var38) /* with_native on <var37:Array[Object]>*/;
+((void (*)(val* self, val* p0, long p1))(var38->class->vft[COLOR_standard__array__Array__with_native]))(var38, var40, var39) /* with_native on <var38:Array[Object]>*/;
 }
 }
 {
-var40 = ((val* (*)(val*))(var37->class->vft[COLOR_string__Object__to_s]))(var37) /* to_s on <var37:Array[Object]>*/;
+var41 = ((val* (*)(val* self))(var38->class->vft[COLOR_standard__string__Object__to_s]))(var38) /* to_s on <var38:Array[Object]>*/;
 }
 {
-array__Array__add(var21, var40); /* Direct call array#Array#add on <var21:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var22, var41); /* Direct call array#Array#add on <var22:Array[String]>*/
 }
 } else {
 }
 }
 RET_LABEL:;
 }
-/* method opts#OptionParameter#read_param for (self: Object, Iterator[String]) */
-void VIRTUAL_opts__OptionParameter__read_param(val* self, val* p0) {
-opts__OptionParameter__read_param(self, p0); /* Direct call opts#OptionParameter#read_param on <self:Object(OptionParameter)>*/
-RET_LABEL:;
-}
 /* method opts#OptionString#init for (self: OptionString, String, Array[String]) */
-void opts__OptionString__init(val* self, val* p0, val* p1) {
+void opts___opts__OptionString___init(val* self, val* p0, val* p1) {
 val* var_help /* var help: String */;
 val* var_names /* var names: Array[String] */;
 val* var /* : null */;
@@ -1210,7 +940,7 @@ var_help = p0;
 var_names = p1;
 var = NULL;
 /* <var:null> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
@@ -1226,21 +956,16 @@ var1 = var->type->type_table[cltype] == idtype;
 if (unlikely(!var1)) {
 var_class_name = var == NULL ? "null" : var->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 162);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 172);
 show_backtrace(1);
 }
 {
-opts__Option__init(self, var_help, var, var_names); /* Direct call opts#Option#init on <self:OptionString>*/
-}
-RET_LABEL:;
+opts___opts__Option___init(self, var_help, var, var_names); /* Direct call opts#Option#init on <self:OptionString>*/
 }
-/* method opts#OptionString#init for (self: Object, String, Array[String]) */
-void VIRTUAL_opts__OptionString__init(val* self, val* p0, val* p1) {
-opts__OptionString__init(self, p0, p1); /* Direct call opts#OptionString#init on <self:Object(OptionString)>*/
 RET_LABEL:;
 }
 /* method opts#OptionString#convert for (self: OptionString, String): nullable String */
-val* opts__OptionString__convert(val* self, val* p0) {
+val* opts___opts__OptionString___OptionParameter__convert(val* self, val* p0) {
 val* var /* : nullable String */;
 val* var_str /* var str: String */;
 short int var1 /* : Bool */;
@@ -1250,7 +975,7 @@ const struct type* type_struct;
 const char* var_class_name;
 var_str = p0;
 /* <var_str:String> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(cltype >= var_str->type->table_size) {
@@ -1261,7 +986,7 @@ var1 = var_str->type->type_table[cltype] == idtype;
 if (unlikely(!var1)) {
 var_class_name = var_str == NULL ? "null" : var_str->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 164);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 174);
 show_backtrace(1);
 }
 var = var_str;
@@ -1269,17 +994,48 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionString#convert for (self: Object, String): nullable Object */
-val* VIRTUAL_opts__OptionString__convert(val* self, val* p0) {
+/* method opts#OptionInt#init for (self: OptionInt, String, Int, Array[String]) */
+void opts___opts__OptionInt___init(val* self, val* p0, long p1, val* p2) {
+val* var_help /* var help: String */;
+long var_default /* var default: Int */;
+val* var_names /* var names: Array[String] */;
 val* var /* : nullable Object */;
-val* var1 /* : nullable String */;
-var1 = opts__OptionString__convert(self, p0);
+var_help = p0;
+var_default = p1;
+var_names = p2;
+{
+var = BOX_standard__Int(var_default); /* autobox from Int to nullable Object */
+opts___opts__Option___init(self, var_help, var, var_names); /* Direct call opts#Option#init on <self:OptionInt>*/
+}
+RET_LABEL:;
+}
+/* method opts#OptionInt#convert for (self: OptionInt, String): Int */
+long opts___opts__OptionInt___OptionParameter__convert(val* self, val* p0) {
+long var /* : Int */;
+val* var_str /* var str: String */;
+long var1 /* : Int */;
+var_str = p0;
+{
+var1 = standard___standard__Text___to_i(var_str);
+}
 var = var1;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method opts#OptionInt#convert for (self: OptionParameter, String): nullable Object */
+val* VIRTUAL_opts___opts__OptionInt___OptionParameter__convert(val* self, val* p0) {
+val* var /* : nullable Object */;
+long var1 /* : Int */;
+val* var2 /* : nullable Object */;
+var1 = opts___opts__OptionInt___OptionParameter__convert(self, p0);
+var2 = BOX_standard__Int(var1); /* autobox from Int to nullable Object */
+var = var2;
 RET_LABEL:;
 return var;
 }
 /* method opts#OptionArray#init for (self: OptionArray, String, Array[String]) */
-void opts__OptionArray__init(val* self, val* p0, val* p1) {
+void opts___opts__OptionArray___init(val* self, val* p0, val* p1) {
 val* var_help /* var help: String */;
 val* var_names /* var names: Array[String] */;
 val* var /* : Array[String] */;
@@ -1292,9 +1048,9 @@ const struct type* type_struct;
 const char* var_class_name;
 var_help = p0;
 var_names = p1;
-var = NEW_array__Array(&type_array__Arraystring__String);
+var = NEW_standard__Array(&type_standard__Array__standard__String);
 {
-array__Array__init(var); /* Direct call array#Array#init on <var:Array[String]>*/
+standard___standard__Array___standard__kernel__Object__init(var); /* Direct call array#Array#init on <var:Array[String]>*/
 }
 {
 { /* Inline opts#OptionArray#values= (self,var) on <self:OptionArray> */
@@ -1307,7 +1063,7 @@ RET_LABEL1:(void)0;
 var4 = self->attrs[COLOR_opts__OptionArray___values].val; /* _values on <self:OptionArray> */
 if (unlikely(var4 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 237);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 254);
 show_backtrace(1);
 }
 var2 = var4;
@@ -1315,7 +1071,7 @@ RET_LABEL3:(void)0;
 }
 }
 /* <var2:Array[String]> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(cltype >= var2->type->table_size) {
@@ -1326,69 +1082,37 @@ var5 = var2->type->type_table[cltype] == idtype;
 if (unlikely(!var5)) {
 var_class_name = var2 == NULL ? "null" : var2->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 234);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 251);
 show_backtrace(1);
 }
 {
-opts__Option__init(self, var_help, var2, var_names); /* Direct call opts#Option#init on <self:OptionArray>*/
-}
-RET_LABEL:;
+opts___opts__Option___init(self, var_help, var2, var_names); /* Direct call opts#Option#init on <self:OptionArray>*/
 }
-/* method opts#OptionArray#init for (self: Object, String, Array[String]) */
-void VIRTUAL_opts__OptionArray__init(val* self, val* p0, val* p1) {
-opts__OptionArray__init(self, p0, p1); /* Direct call opts#OptionArray#init on <self:Object(OptionArray)>*/
 RET_LABEL:;
 }
 /* method opts#OptionArray#values for (self: OptionArray): Array[String] */
-val* opts__OptionArray__values(val* self) {
+val* opts___opts__OptionArray___values(val* self) {
 val* var /* : Array[String] */;
 val* var1 /* : Array[String] */;
 var1 = self->attrs[COLOR_opts__OptionArray___values].val; /* _values on <self:OptionArray> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 237);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 254);
 show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionArray#values for (self: Object): Array[String] */
-val* VIRTUAL_opts__OptionArray__values(val* self) {
+/* method opts#OptionArray#values= for (self: OptionArray, Array[String]) */
+void opts___opts__OptionArray___values_61d(val* self, val* p0) {
+self->attrs[COLOR_opts__OptionArray___values].val = p0; /* _values on <self:OptionArray> */
+RET_LABEL:;
+}
+/* method opts#OptionArray#convert for (self: OptionArray, String): Array[String] */
+val* opts___opts__OptionArray___OptionParameter__convert(val* self, val* p0) {
 val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-val* var3 /* : Array[String] */;
-{ /* Inline opts#OptionArray#values (self) on <self:Object(OptionArray)> */
-var3 = self->attrs[COLOR_opts__OptionArray___values].val; /* _values on <self:Object(OptionArray)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 237);
-show_backtrace(1);
-}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#OptionArray#values= for (self: OptionArray, Array[String]) */
-void opts__OptionArray__values_61d(val* self, val* p0) {
-self->attrs[COLOR_opts__OptionArray___values].val = p0; /* _values on <self:OptionArray> */
-RET_LABEL:;
-}
-/* method opts#OptionArray#values= for (self: Object, Array[String]) */
-void VIRTUAL_opts__OptionArray__values_61d(val* self, val* p0) {
-{ /* Inline opts#OptionArray#values= (self,p0) on <self:Object(OptionArray)> */
-self->attrs[COLOR_opts__OptionArray___values].val = p0; /* _values on <self:Object(OptionArray)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
-/* method opts#OptionArray#convert for (self: OptionArray, String): Array[String] */
-val* opts__OptionArray__convert(val* self, val* p0) {
-val* var /* : Array[String] */;
-val* var_str /* var str: String */;
+val* var_str /* var str: String */;
 val* var1 /* : Array[String] */;
 val* var3 /* : Array[String] */;
 val* var4 /* : Array[String] */;
@@ -1404,7 +1128,7 @@ var_str = p0;
 var3 = self->attrs[COLOR_opts__OptionArray___values].val; /* _values on <self:OptionArray> */
 if (unlikely(var3 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 237);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 254);
 show_backtrace(1);
 }
 var1 = var3;
@@ -1412,14 +1136,14 @@ RET_LABEL2:(void)0;
 }
 }
 {
-array__Array__add(var1, var_str); /* Direct call array#Array#add on <var1:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var1, var_str); /* Direct call array#Array#add on <var1:Array[String]>*/
 }
 {
 { /* Inline opts#OptionArray#values (self) on <self:OptionArray> */
 var6 = self->attrs[COLOR_opts__OptionArray___values].val; /* _values on <self:OptionArray> */
 if (unlikely(var6 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 237);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 254);
 show_backtrace(1);
 }
 var4 = var6;
@@ -1427,7 +1151,7 @@ RET_LABEL5:(void)0;
 }
 }
 /* <var4:Array[String]> isa VALUE */
-type_struct = self->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+type_struct = self->type->resolution_table->types[COLOR_opts__Option__VALUE];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(cltype >= var4->type->table_size) {
@@ -1438,7 +1162,7 @@ var7 = var4->type->type_table[cltype] == idtype;
 if (unlikely(!var7)) {
 var_class_name = var4 == NULL ? "null" : var4->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 241);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 258);
 show_backtrace(1);
 }
 var = var4;
@@ -1446,254 +1170,64 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionArray#convert for (self: Object, String): nullable Object */
-val* VIRTUAL_opts__OptionArray__convert(val* self, val* p0) {
-val* var /* : nullable Object */;
-val* var1 /* : Array[String] */;
-var1 = opts__OptionArray__convert(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method opts#OptionContext#options for (self: OptionContext): Array[Option] */
-val* opts__OptionContext__options(val* self) {
+val* opts___opts__OptionContext___options(val* self) {
 val* var /* : Array[Option] */;
 val* var1 /* : Array[Option] */;
 var1 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionContext#options for (self: Object): Array[Option] */
-val* VIRTUAL_opts__OptionContext__options(val* self) {
-val* var /* : Array[Option] */;
-val* var1 /* : Array[Option] */;
-val* var3 /* : Array[Option] */;
-{ /* Inline opts#OptionContext#options (self) on <self:Object(OptionContext)> */
-var3 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:Object(OptionContext)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
-show_backtrace(1);
-}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#OptionContext#options= for (self: OptionContext, Array[Option]) */
-void opts__OptionContext__options_61d(val* self, val* p0) {
-self->attrs[COLOR_opts__OptionContext___options].val = p0; /* _options on <self:OptionContext> */
-RET_LABEL:;
-}
-/* method opts#OptionContext#options= for (self: Object, Array[Option]) */
-void VIRTUAL_opts__OptionContext__options_61d(val* self, val* p0) {
-{ /* Inline opts#OptionContext#options= (self,p0) on <self:Object(OptionContext)> */
-self->attrs[COLOR_opts__OptionContext___options].val = p0; /* _options on <self:Object(OptionContext)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#OptionContext#rest for (self: OptionContext): Array[String] */
-val* opts__OptionContext__rest(val* self) {
+val* opts___opts__OptionContext___rest(val* self) {
 val* var /* : Array[String] */;
 val* var1 /* : Array[String] */;
 var1 = self->attrs[COLOR_opts__OptionContext___rest].val; /* _rest on <self:OptionContext> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _rest");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 250);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 267);
 show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionContext#rest for (self: Object): Array[String] */
-val* VIRTUAL_opts__OptionContext__rest(val* self) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-val* var3 /* : Array[String] */;
-{ /* Inline opts#OptionContext#rest (self) on <self:Object(OptionContext)> */
-var3 = self->attrs[COLOR_opts__OptionContext___rest].val; /* _rest on <self:Object(OptionContext)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _rest");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 250);
-show_backtrace(1);
-}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#OptionContext#rest= for (self: OptionContext, Array[String]) */
-void opts__OptionContext__rest_61d(val* self, val* p0) {
-self->attrs[COLOR_opts__OptionContext___rest].val = p0; /* _rest on <self:OptionContext> */
-RET_LABEL:;
-}
-/* method opts#OptionContext#rest= for (self: Object, Array[String]) */
-void VIRTUAL_opts__OptionContext__rest_61d(val* self, val* p0) {
-{ /* Inline opts#OptionContext#rest= (self,p0) on <self:Object(OptionContext)> */
-self->attrs[COLOR_opts__OptionContext___rest].val = p0; /* _rest on <self:Object(OptionContext)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
 /* method opts#OptionContext#errors for (self: OptionContext): Array[String] */
-val* opts__OptionContext__errors(val* self) {
+val* opts___opts__OptionContext___errors(val* self) {
 val* var /* : Array[String] */;
 val* var1 /* : Array[String] */;
 var1 = self->attrs[COLOR_opts__OptionContext___errors].val; /* _errors on <self:OptionContext> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 253);
-show_backtrace(1);
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#OptionContext#errors for (self: Object): Array[String] */
-val* VIRTUAL_opts__OptionContext__errors(val* self) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-val* var3 /* : Array[String] */;
-{ /* Inline opts#OptionContext#errors (self) on <self:Object(OptionContext)> */
-var3 = self->attrs[COLOR_opts__OptionContext___errors].val; /* _errors on <self:Object(OptionContext)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 253);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 270);
 show_backtrace(1);
 }
-var1 = var3;
-RET_LABEL2:(void)0;
-}
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionContext#errors= for (self: OptionContext, Array[String]) */
-void opts__OptionContext__errors_61d(val* self, val* p0) {
-self->attrs[COLOR_opts__OptionContext___errors].val = p0; /* _errors on <self:OptionContext> */
-RET_LABEL:;
-}
-/* method opts#OptionContext#errors= for (self: Object, Array[String]) */
-void VIRTUAL_opts__OptionContext__errors_61d(val* self, val* p0) {
-{ /* Inline opts#OptionContext#errors= (self,p0) on <self:Object(OptionContext)> */
-self->attrs[COLOR_opts__OptionContext___errors].val = p0; /* _errors on <self:Object(OptionContext)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
-/* method opts#OptionContext#optmap for (self: OptionContext): Map[String, Option] */
-val* opts__OptionContext__optmap(val* self) {
-val* var /* : Map[String, Option] */;
-val* var1 /* : Map[String, Option] */;
+/* method opts#OptionContext#optmap for (self: OptionContext): HashMap[String, Option] */
+val* opts___opts__OptionContext___optmap(val* self) {
+val* var /* : HashMap[String, Option] */;
+val* var1 /* : HashMap[String, Option] */;
 var1 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
 if (unlikely(var1 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
-show_backtrace(1);
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method opts#OptionContext#optmap for (self: Object): Map[String, Option] */
-val* VIRTUAL_opts__OptionContext__optmap(val* self) {
-val* var /* : Map[String, Option] */;
-val* var1 /* : Map[String, Option] */;
-val* var3 /* : Map[String, Option] */;
-{ /* Inline opts#OptionContext#optmap (self) on <self:Object(OptionContext)> */
-var3 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:Object(OptionContext)> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 273);
 show_backtrace(1);
 }
-var1 = var3;
-RET_LABEL2:(void)0;
-}
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionContext#optmap= for (self: OptionContext, Map[String, Option]) */
-void opts__OptionContext__optmap_61d(val* self, val* p0) {
-self->attrs[COLOR_opts__OptionContext___optmap].val = p0; /* _optmap on <self:OptionContext> */
-RET_LABEL:;
-}
-/* method opts#OptionContext#optmap= for (self: Object, Map[String, Option]) */
-void VIRTUAL_opts__OptionContext__optmap_61d(val* self, val* p0) {
-{ /* Inline opts#OptionContext#optmap= (self,p0) on <self:Object(OptionContext)> */
-self->attrs[COLOR_opts__OptionContext___optmap].val = p0; /* _optmap on <self:Object(OptionContext)> */
-RET_LABEL1:(void)0;
-}
-RET_LABEL:;
-}
-/* method opts#OptionContext#init for (self: OptionContext) */
-void opts__OptionContext__init(val* self) {
-val* var /* : Array[Option] */;
-val* var2 /* : HashMap[String, Option] */;
-val* var4 /* : Array[String] */;
-val* var6 /* : Array[String] */;
-var = NEW_array__Array(&type_array__Arrayopts__Option);
-{
-array__Array__init(var); /* Direct call array#Array#init on <var:Array[Option]>*/
-}
-{
-{ /* Inline opts#OptionContext#options= (self,var) on <self:OptionContext> */
-self->attrs[COLOR_opts__OptionContext___options].val = var; /* _options on <self:OptionContext> */
-RET_LABEL1:(void)0;
-}
-}
-var2 = NEW_hash_collection__HashMap(&type_hash_collection__HashMapstring__Stringopts__Option);
-{
-hash_collection__HashMap__init(var2); /* Direct call hash_collection#HashMap#init on <var2:HashMap[String, Option]>*/
-}
-{
-{ /* Inline opts#OptionContext#optmap= (self,var2) on <self:OptionContext> */
-self->attrs[COLOR_opts__OptionContext___optmap].val = var2; /* _optmap on <self:OptionContext> */
-RET_LABEL3:(void)0;
-}
-}
-var4 = NEW_array__Array(&type_array__Arraystring__String);
-{
-array__Array__init(var4); /* Direct call array#Array#init on <var4:Array[String]>*/
-}
-{
-{ /* Inline opts#OptionContext#rest= (self,var4) on <self:OptionContext> */
-self->attrs[COLOR_opts__OptionContext___rest].val = var4; /* _rest on <self:OptionContext> */
-RET_LABEL5:(void)0;
-}
-}
-var6 = NEW_array__Array(&type_array__Arraystring__String);
-{
-array__Array__init(var6); /* Direct call array#Array#init on <var6:Array[String]>*/
-}
-{
-{ /* Inline opts#OptionContext#errors= (self,var6) on <self:OptionContext> */
-self->attrs[COLOR_opts__OptionContext___errors].val = var6; /* _errors on <self:OptionContext> */
-RET_LABEL7:(void)0;
-}
-}
-RET_LABEL:;
-}
-/* method opts#OptionContext#init for (self: Object) */
-void VIRTUAL_opts__OptionContext__init(val* self) {
-opts__OptionContext__init(self); /* Direct call opts#OptionContext#init on <self:Object(OptionContext)>*/
-RET_LABEL:;
-}
 /* method opts#OptionContext#add_option for (self: OptionContext, Array[Option]) */
-void opts__OptionContext__add_option(val* self, val* p0) {
+void opts___opts__OptionContext___add_option(val* self, val* p0) {
 val* var_opts /* var opts: Array[Option] */;
 val* var /* : Array[Option] */;
 val* var2 /* : Array[Option] */;
@@ -1703,7 +1237,7 @@ var_opts = p0;
 var2 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
 if (unlikely(var2 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
 var = var2;
@@ -1711,64 +1245,64 @@ RET_LABEL1:(void)0;
 }
 }
 {
-abstract_collection__SimpleCollection__add_all(var, var_opts); /* Direct call abstract_collection#SimpleCollection#add_all on <var:Array[Option]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add_all(var, var_opts); /* Direct call array#Array#add_all on <var:Array[Option]>*/
 }
 RET_LABEL:;
 }
-/* method opts#OptionContext#add_option for (self: Object, Array[Option]) */
-void VIRTUAL_opts__OptionContext__add_option(val* self, val* p0) {
-opts__OptionContext__add_option(self, p0); /* Direct call opts#OptionContext#add_option on <self:Object(OptionContext)>*/
-RET_LABEL:;
-}
 /* method opts#OptionContext#usage for (self: OptionContext) */
-void opts__OptionContext__usage(val* self) {
+void opts___opts__OptionContext___usage(val* self) {
 long var /* : Int */;
 long var_lmax /* var lmax: Int */;
 val* var1 /* : Array[Option] */;
 val* var3 /* : Array[Option] */;
+val* var_ /* var : Array[Option] */;
 val* var4 /* : ArrayIterator[nullable Object] */;
-short int var5 /* : Bool */;
-val* var6 /* : nullable Object */;
+val* var_5 /* var : ArrayIterator[Option] */;
+short int var6 /* : Bool */;
+val* var7 /* : nullable Object */;
 val* var_i /* var i: Option */;
-long var7 /* : Int */;
+long var8 /* : Int */;
 long var_l /* var l: Int */;
-val* var8 /* : Array[String] */;
-val* var10 /* : Array[String] */;
-val* var11 /* : ArrayIterator[nullable Object] */;
-short int var12 /* : Bool */;
-val* var13 /* : nullable Object */;
+val* var9 /* : Array[String] */;
+val* var11 /* : Array[String] */;
+val* var_12 /* var : Array[String] */;
+val* var13 /* : ArrayIterator[nullable Object] */;
+val* var_14 /* var : ArrayIterator[String] */;
+short int var15 /* : Bool */;
+val* var16 /* : nullable Object */;
 val* var_n /* var n: String */;
-long var14 /* : Int */;
-long var16 /* : Int */;
 long var17 /* : Int */;
 long var18 /* : Int */;
-short int var20 /* : Bool */;
+long var19 /* : Int */;
+short int var21 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
-long var21 /* : Int */;
 long var22 /* : Int */;
-short int var24 /* : Bool */;
-int cltype25;
-int idtype26;
-const char* var_class_name27;
-long var28 /* : Int */;
-short int var29 /* : Bool */;
+long var23 /* : Int */;
+short int var25 /* : Bool */;
+int cltype26;
+int idtype27;
+const char* var_class_name28;
+long var29 /* : Int */;
 short int var31 /* : Bool */;
-int cltype32;
-int idtype33;
-const char* var_class_name34;
-short int var35 /* : Bool */;
-val* var37 /* : Array[Option] */;
-val* var39 /* : Array[Option] */;
-val* var40 /* : ArrayIterator[nullable Object] */;
-short int var41 /* : Bool */;
-val* var42 /* : nullable Object */;
-val* var_i43 /* var i: Option */;
-short int var44 /* : Bool */;
+short int var33 /* : Bool */;
+int cltype34;
+int idtype35;
+const char* var_class_name36;
+short int var37 /* : Bool */;
+val* var40 /* : Array[Option] */;
+val* var42 /* : Array[Option] */;
+val* var_43 /* var : Array[Option] */;
+val* var44 /* : ArrayIterator[nullable Object] */;
+val* var_45 /* var : ArrayIterator[Option] */;
 short int var46 /* : Bool */;
-short int var47 /* : Bool */;
-val* var48 /* : String */;
+val* var47 /* : nullable Object */;
+val* var_i48 /* var i: Option */;
+short int var49 /* : Bool */;
+short int var51 /* : Bool */;
+short int var52 /* : Bool */;
+val* var53 /* : String */;
 var = 1;
 var_lmax = var;
 {
@@ -1776,203 +1310,225 @@ var_lmax = var;
 var3 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
 if (unlikely(var3 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
 var1 = var3;
 RET_LABEL2:(void)0;
 }
 }
+var_ = var1;
 {
-var4 = array__AbstractArrayRead__iterator(var1);
+var4 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_);
 }
+var_5 = var4;
 for(;;) {
 {
-var5 = array__ArrayIterator__is_ok(var4);
+var6 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_5);
 }
-if(!var5) break;
+if (var6){
 {
-var6 = array__ArrayIterator__item(var4);
+var7 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_5);
 }
-var_i = var6;
-var7 = 3;
-var_l = var7;
+var_i = var7;
+var8 = 3;
+var_l = var8;
 {
 { /* Inline opts#Option#names (var_i) on <var_i:Option> */
-var10 = var_i->attrs[COLOR_opts__Option___names].val; /* _names on <var_i:Option> */
-if (unlikely(var10 == NULL)) {
+var11 = var_i->attrs[COLOR_opts__Option___names].val; /* _names on <var_i:Option> */
+if (unlikely(var11 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 19);
 show_backtrace(1);
 }
-var8 = var10;
-RET_LABEL9:(void)0;
+var9 = var11;
+RET_LABEL10:(void)0;
 }
 }
+var_12 = var9;
 {
-var11 = array__AbstractArrayRead__iterator(var8);
+var13 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_12);
 }
+var_14 = var13;
 for(;;) {
 {
-var12 = array__ArrayIterator__is_ok(var11);
+var15 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_14);
 }
-if(!var12) break;
+if (var15){
 {
-var13 = array__ArrayIterator__item(var11);
+var16 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_14);
 }
-var_n = var13;
+var_n = var16;
 {
-{ /* Inline string#FlatText#length (var_n) on <var_n:String> */
-var16 = var_n->attrs[COLOR_string__FlatText___length].l; /* _length on <var_n:String> */
-var14 = var16;
-RET_LABEL15:(void)0;
+var17 = ((long (*)(val* self))(var_n->class->vft[COLOR_standard__string__Text__length]))(var_n) /* length on <var_n:String>*/;
 }
-}
-var17 = 2;
+var18 = 2;
 {
-{ /* Inline kernel#Int#+ (var14,var17) on <var14:Int> */
-/* Covariant cast for argument 0 (i) <var17:Int> isa OTHER */
-/* <var17:Int> isa OTHER */
-var20 = 1; /* easy <var17:Int> isa OTHER*/
-if (unlikely(!var20)) {
-var_class_name = type_kernel__Int.name;
+{ /* Inline kernel#Int#+ (var17,var18) on <var17:Int> */
+/* Covariant cast for argument 0 (i) <var18:Int> isa OTHER */
+/* <var18:Int> isa OTHER */
+var21 = 1; /* easy <var18:Int> isa OTHER*/
+if (unlikely(!var21)) {
+var_class_name = type_standard__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", 328);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
 show_backtrace(1);
 }
-var21 = var14 + var17;
-var18 = var21;
-goto RET_LABEL19;
-RET_LABEL19:(void)0;
+var22 = var17 + var18;
+var19 = var22;
+goto RET_LABEL20;
+RET_LABEL20:(void)0;
 }
 }
 {
-{ /* Inline kernel#Int#+ (var_l,var18) on <var_l:Int> */
-/* Covariant cast for argument 0 (i) <var18:Int> isa OTHER */
-/* <var18:Int> isa OTHER */
-var24 = 1; /* easy <var18:Int> isa OTHER*/
-if (unlikely(!var24)) {
-var_class_name27 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27);
-PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+{ /* Inline kernel#Int#+ (var_l,var19) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var19:Int> isa OTHER */
+/* <var19:Int> isa OTHER */
+var25 = 1; /* easy <var19:Int> isa OTHER*/
+if (unlikely(!var25)) {
+var_class_name28 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
 show_backtrace(1);
 }
-var28 = var_l + var18;
-var22 = var28;
-goto RET_LABEL23;
-RET_LABEL23:(void)0;
+var29 = var_l + var19;
+var23 = var29;
+goto RET_LABEL24;
+RET_LABEL24:(void)0;
 }
 }
-var_l = var22;
-CONTINUE_label: (void)0;
+var_l = var23;
 {
-array__ArrayIterator__next(var11); /* Direct call array#ArrayIterator#next on <var11:ArrayIterator[nullable Object]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_14); /* Direct call array#ArrayIterator#next on <var_14:ArrayIterator[String]>*/
+}
+} else {
+goto BREAK_label;
 }
 }
 BREAK_label: (void)0;
 {
+{ /* Inline abstract_collection#Iterator#finish (var_14) on <var_14:ArrayIterator[String]> */
+RET_LABEL30:(void)0;
+}
+}
+{
 { /* Inline kernel#Int#< (var_lmax,var_l) on <var_lmax:Int> */
 /* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
 /* <var_l:Int> isa OTHER */
-var31 = 1; /* easy <var_l:Int> isa OTHER*/
-if (unlikely(!var31)) {
-var_class_name34 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name34);
-PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
+var33 = 1; /* easy <var_l:Int> isa OTHER*/
+if (unlikely(!var33)) {
+var_class_name36 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name36);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
 show_backtrace(1);
 }
-var35 = var_lmax < var_l;
-var29 = var35;
-goto RET_LABEL30;
-RET_LABEL30:(void)0;
+var37 = var_lmax < var_l;
+var31 = var37;
+goto RET_LABEL32;
+RET_LABEL32:(void)0;
 }
 }
-if (var29){
+if (var31){
 var_lmax = var_l;
 } else {
 }
-CONTINUE_label36: (void)0;
 {
-array__ArrayIterator__next(var4); /* Direct call array#ArrayIterator#next on <var4:ArrayIterator[nullable Object]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_5); /* Direct call array#ArrayIterator#next on <var_5:ArrayIterator[Option]>*/
+}
+} else {
+goto BREAK_label38;
+}
+}
+BREAK_label38: (void)0;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_5) on <var_5:ArrayIterator[Option]> */
+RET_LABEL39:(void)0;
 }
 }
-BREAK_label36: (void)0;
 {
 { /* Inline opts#OptionContext#options (self) on <self:OptionContext> */
-var39 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
-if (unlikely(var39 == NULL)) {
+var42 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
+if (unlikely(var42 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
-var37 = var39;
-RET_LABEL38:(void)0;
+var40 = var42;
+RET_LABEL41:(void)0;
 }
 }
+var_43 = var40;
 {
-var40 = array__AbstractArrayRead__iterator(var37);
+var44 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_43);
 }
+var_45 = var44;
 for(;;) {
 {
-var41 = array__ArrayIterator__is_ok(var40);
+var46 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_45);
 }
-if(!var41) break;
+if (var46){
 {
-var42 = array__ArrayIterator__item(var40);
+var47 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_45);
 }
-var_i43 = var42;
+var_i48 = var47;
 {
-{ /* Inline opts#Option#hidden (var_i43) on <var_i43:Option> */
-var46 = var_i43->attrs[COLOR_opts__Option___hidden].s; /* _hidden on <var_i43:Option> */
-var44 = var46;
-RET_LABEL45:(void)0;
+{ /* Inline opts#Option#hidden (var_i48) on <var_i48:Option> */
+var51 = var_i48->attrs[COLOR_opts__Option___hidden].s; /* _hidden on <var_i48:Option> */
+var49 = var51;
+RET_LABEL50:(void)0;
 }
 }
-var47 = !var44;
-if (var47){
+var52 = !var49;
+if (var52){
 {
-var48 = opts__Option__pretty(var_i43, var_lmax);
+var53 = opts___opts__Option___pretty(var_i48, var_lmax);
 }
 {
-file__Object__print(self, var48); /* Direct call file#Object#print on <self:OptionContext>*/
+standard__file___Object___print(self, var53); /* Direct call file#Object#print on <self:OptionContext>*/
 }
 } else {
 }
-CONTINUE_label49: (void)0;
 {
-array__ArrayIterator__next(var40); /* Direct call array#ArrayIterator#next on <var40:ArrayIterator[nullable Object]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_45); /* Direct call array#ArrayIterator#next on <var_45:ArrayIterator[Option]>*/
 }
+} else {
+goto BREAK_label54;
+}
+}
+BREAK_label54: (void)0;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_45) on <var_45:ArrayIterator[Option]> */
+RET_LABEL55:(void)0;
 }
-BREAK_label49: (void)0;
-RET_LABEL:;
 }
-/* method opts#OptionContext#usage for (self: Object) */
-void VIRTUAL_opts__OptionContext__usage(val* self) {
-opts__OptionContext__usage(self); /* Direct call opts#OptionContext#usage on <self:Object(OptionContext)>*/
 RET_LABEL:;
 }
 /* method opts#OptionContext#parse for (self: OptionContext, Collection[String]) */
-void opts__OptionContext__parse(val* self, val* p0) {
+void opts___opts__OptionContext___parse(val* self, val* p0) {
 val* var_argv /* var argv: Collection[String] */;
 val* var /* : Iterator[nullable Object] */;
 val* var_it /* var it: Iterator[String] */;
 var_argv = p0;
 {
-var = ((val* (*)(val*))(var_argv->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_argv) /* iterator on <var_argv:Collection[String]>*/;
+var = ((val* (*)(val* self))(var_argv->class->vft[COLOR_standard__abstract_collection__Collection__iterator]))(var_argv) /* iterator on <var_argv:Collection[String]>*/;
 }
 var_it = var;
 {
-opts__OptionContext__parse_intern(self, var_it); /* Direct call opts#OptionContext#parse_intern on <self:OptionContext>*/
+opts___opts__OptionContext___parse_intern(self, var_it); /* Direct call opts#OptionContext#parse_intern on <self:OptionContext>*/
 }
 RET_LABEL:;
 }
-/* method opts#OptionContext#parse for (self: Object, Collection[String]) */
-void VIRTUAL_opts__OptionContext__parse(val* self, val* p0) {
-opts__OptionContext__parse(self, p0); /* Direct call opts#OptionContext#parse on <self:Object(OptionContext)>*/
+/* method opts#OptionContext#options_before_rest for (self: OptionContext): Bool */
+short int opts___opts__OptionContext___options_before_rest(val* self) {
+short int var /* : Bool */;
+short int var1 /* : Bool */;
+var1 = self->attrs[COLOR_opts__OptionContext___options_before_rest].s; /* _options_before_rest on <self:OptionContext> */
+var = var1;
 RET_LABEL:;
+return var;
 }
 /* method opts#OptionContext#parse_intern for (self: OptionContext, Iterator[String]) */
-void opts__OptionContext__parse_intern(val* self, val* p0) {
+void opts___opts__OptionContext___parse_intern(val* self, val* p0) {
 val* var_it /* var it: Iterator[String] */;
 short int var /* : Bool */;
 short int var_parseargs /* var parseargs: Bool */;
@@ -1990,77 +1546,79 @@ char* var8 /* : NativeString */;
 long var9 /* : Int */;
 val* var10 /* : FlatString */;
 short int var11 /* : Bool */;
-short int var12 /* : Bool */;
-val* var13 /* : Array[nullable Object] */;
+val* var12 /* : Array[nullable Object] */;
+short int var13 /* : Bool */;
 short int var14 /* : Bool */;
-short int var15 /* : Bool */;
-val* var16 /* : SequenceRead[Char] */;
-val* var18 /* : SequenceRead[Char] */;
-char var19 /* : Char */;
-long var20 /* : Int */;
-val* var21 /* : nullable Object */;
-long var22 /* : Int */;
-short int var23 /* : Bool */;
-short int var24 /* : Bool */;
+val* var15 /* : SequenceRead[Char] */;
+char var16 /* : Char */;
+long var17 /* : Int */;
+val* var18 /* : nullable Object */;
+long var19 /* : Int */;
+short int var20 /* : Bool */;
+short int var22 /* : Bool */;
+short int var_23 /* var : Bool */;
+long var24 /* : Int */;
+long var25 /* : Int */;
 short int var26 /* : Bool */;
-short int var_27 /* var : Bool */;
-long var28 /* : Int */;
-long var30 /* : Int */;
-long var31 /* : Int */;
-short int var32 /* : Bool */;
-short int var34 /* : Bool */;
+short int var28 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
-short int var35 /* : Bool */;
-short int var36 /* : Bool */;
+short int var29 /* : Bool */;
+short int var30 /* : Bool */;
 short int var_next_called /* var next_called: Bool */;
-val* var37 /* : Range[Int] */;
-long var38 /* : Int */;
-long var39 /* : Int */;
-long var41 /* : Int */;
-val* var42 /* : Discrete */;
-val* var43 /* : Discrete */;
-val* var44 /* : Iterator[Discrete] */;
-short int var45 /* : Bool */;
-val* var46 /* : nullable Object */;
+long var31 /* : Int */;
 long var_i /* var i: Int */;
-long var47 /* : Int */;
-static val* varonce48;
-val* var49 /* : String */;
-char* var50 /* : NativeString */;
-long var51 /* : Int */;
-val* var52 /* : FlatString */;
-val* var53 /* : SequenceRead[Char] */;
-val* var55 /* : SequenceRead[Char] */;
-val* var56 /* : nullable Object */;
-val* var57 /* : String */;
-char var58 /* : Char */;
-val* var59 /* : String */;
+long var32 /* : Int */;
+long var_33 /* var : Int */;
+short int var34 /* : Bool */;
+short int var36 /* : Bool */;
+int cltype37;
+int idtype38;
+const char* var_class_name39;
+short int var40 /* : Bool */;
+static val* varonce41;
+val* var42 /* : String */;
+char* var43 /* : NativeString */;
+long var44 /* : Int */;
+val* var45 /* : FlatString */;
+val* var46 /* : SequenceRead[Char] */;
+val* var47 /* : nullable Object */;
+val* var48 /* : String */;
+char var49 /* : Char */;
+val* var50 /* : String */;
 val* var_short_opt /* var short_opt: String */;
-val* var60 /* : Map[String, Option] */;
-val* var62 /* : Map[String, Option] */;
-short int var63 /* : Bool */;
-val* var64 /* : Map[String, Option] */;
-val* var66 /* : Map[String, Option] */;
-val* var67 /* : nullable Object */;
+val* var51 /* : HashMap[String, Option] */;
+val* var53 /* : HashMap[String, Option] */;
+short int var54 /* : Bool */;
+val* var55 /* : HashMap[String, Option] */;
+val* var57 /* : HashMap[String, Option] */;
+val* var58 /* : nullable Object */;
 val* var_option /* var option: Option */;
-short int var68 /* : Bool */;
-int cltype69;
-int idtype70;
-short int var71 /* : Bool */;
-short int var72 /* : Bool */;
-val* var73 /* : Map[String, Option] */;
-val* var75 /* : Map[String, Option] */;
-short int var76 /* : Bool */;
-val* var77 /* : Map[String, Option] */;
-val* var79 /* : Map[String, Option] */;
-val* var80 /* : nullable Object */;
+short int var59 /* : Bool */;
+int cltype60;
+int idtype61;
+short int var62 /* : Bool */;
+long var63 /* : Int */;
+long var64 /* : Int */;
+short int var65 /* : Bool */;
+val* var66 /* : HashMap[String, Option] */;
+val* var68 /* : HashMap[String, Option] */;
+short int var69 /* : Bool */;
+val* var70 /* : HashMap[String, Option] */;
+val* var72 /* : HashMap[String, Option] */;
+val* var73 /* : nullable Object */;
 val* var_opt /* var opt: Option */;
-val* var81 /* : nullable Object */;
+val* var74 /* : nullable Object */;
+short int var75 /* : Bool */;
+short int var77 /* : Bool */;
+val* var78 /* : Array[nullable Object] */;
+short int var79 /* : Bool */;
+val* var81 /* : Array[Option] */;
 val* var83 /* : Array[Option] */;
-val* var85 /* : Array[Option] */;
-val* var86 /* : ArrayIterator[nullable Object] */;
+val* var_84 /* var : Array[Option] */;
+val* var85 /* : ArrayIterator[nullable Object] */;
+val* var_86 /* var : ArrayIterator[Option] */;
 short int var87 /* : Bool */;
 val* var88 /* : nullable Object */;
 val* var_opt89 /* var opt: Option */;
@@ -2099,14 +1657,14 @@ var_it = p0;
 var = 1;
 var_parseargs = var;
 {
-opts__OptionContext__build(self); /* Direct call opts#OptionContext#build on <self:OptionContext>*/
+opts___opts__OptionContext___build(self); /* Direct call opts#OptionContext#build on <self:OptionContext>*/
 }
 {
 { /* Inline opts#OptionContext#rest (self) on <self:OptionContext> */
 var3 = self->attrs[COLOR_opts__OptionContext___rest].val; /* _rest on <self:OptionContext> */
 if (unlikely(var3 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _rest");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 250);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 267);
 show_backtrace(1);
 }
 var1 = var3;
@@ -2118,15 +1676,15 @@ for(;;) {
 var_ = var_parseargs;
 if (var_parseargs){
 {
-var5 = ((short int (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var_it) /* is_ok on <var_it:Iterator[String]>*/;
+var5 = ((short int (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__is_ok]))(var_it) /* is_ok on <var_it:Iterator[String]>*/;
 }
 var4 = var5;
 } else {
 var4 = var_;
 }
-if (!var4) break;
+if (var4){
 {
-var6 = ((val* (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
+var6 = ((val* (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
 }
 var_str = var6;
 if (varonce) {
@@ -2134,290 +1692,290 @@ var7 = varonce;
 } else {
 var8 = "--";
 var9 = 2;
-var10 = string__NativeString__to_s_with_length(var8, var9);
+var10 = standard___standard__NativeString___to_s_with_length(var8, var9);
 var7 = var10;
 varonce = var7;
 }
 {
-var12 = string__FlatString___61d_61d(var_str, var7);
-var11 = var12;
+var11 = ((short int (*)(val* self, val* p0))(var_str->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_str, var7) /* == on <var_str:String>*/;
 }
 if (var11){
 {
-((void (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
+((void (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
 }
 {
-var13 = array__Iterator__to_a(var_it);
+var12 = standard__array___Iterator___to_a(var_it);
 }
 {
-abstract_collection__SimpleCollection__add_all(var_rest, var13); /* Direct call abstract_collection#SimpleCollection#add_all on <var_rest:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add_all(var_rest, var12); /* Direct call array#Array#add_all on <var_rest:Array[String]>*/
 }
-var14 = 0;
-var_parseargs = var14;
+var13 = 0;
+var_parseargs = var13;
 } else {
 {
-{ /* Inline string#FlatString#chars (var_str) on <var_str:String> */
-var18 = var_str->attrs[COLOR_string__FlatString___chars].val; /* _chars on <var_str:String> */
-if (unlikely(var18 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
-PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 746);
-show_backtrace(1);
-}
-var16 = var18;
-RET_LABEL17:(void)0;
+var15 = ((val* (*)(val* self))(var_str->class->vft[COLOR_standard__string__Text__chars]))(var_str) /* chars on <var_str:String>*/;
 }
-}
-var19 = '-';
+var16 = '-';
 {
-var21 = BOX_kernel__Char(var19); /* autobox from Char to nullable Object */
-var20 = ((long (*)(val*, val*))(var16->class->vft[COLOR_abstract_collection__SequenceRead__last_index_of]))(var16, var21) /* last_index_of on <var16:SequenceRead[Char]>*/;
+var18 = BOX_standard__Char(var16); /* autobox from Char to nullable Object */
+var17 = ((long (*)(val* self, val* p0))(var15->class->vft[COLOR_standard__abstract_collection__SequenceRead__last_index_of]))(var15, var18) /* last_index_of on <var15:SequenceRead[Char]>*/;
 }
-var22 = 0;
+var19 = 0;
 {
-{ /* Inline kernel#Int#== (var20,var22) on <var20:Int> */
-var26 = var20 == var22;
-var24 = var26;
-goto RET_LABEL25;
-RET_LABEL25:(void)0;
+{ /* Inline kernel#Int#== (var17,var19) on <var17:Int> */
+var22 = var17 == var19;
+var20 = var22;
+goto RET_LABEL21;
+RET_LABEL21:(void)0;
 }
-var23 = var24;
 }
-var_27 = var23;
-if (var23){
+var_23 = var20;
+if (var20){
 {
-{ /* Inline string#FlatText#length (var_str) on <var_str:String> */
-var30 = var_str->attrs[COLOR_string__FlatText___length].l; /* _length on <var_str:String> */
-var28 = var30;
-RET_LABEL29:(void)0;
+var24 = ((long (*)(val* self))(var_str->class->vft[COLOR_standard__string__Text__length]))(var_str) /* length on <var_str:String>*/;
 }
-}
-var31 = 2;
+var25 = 2;
 {
-{ /* Inline kernel#Int#> (var28,var31) on <var28:Int> */
-/* Covariant cast for argument 0 (i) <var31:Int> isa OTHER */
-/* <var31:Int> isa OTHER */
-var34 = 1; /* easy <var31:Int> isa OTHER*/
-if (unlikely(!var34)) {
-var_class_name = type_kernel__Int.name;
+{ /* Inline kernel#Int#> (var24,var25) on <var24:Int> */
+/* Covariant cast for argument 0 (i) <var25:Int> isa OTHER */
+/* <var25:Int> isa OTHER */
+var28 = 1; /* easy <var25:Int> isa OTHER*/
+if (unlikely(!var28)) {
+var_class_name = type_standard__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", 327);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
 show_backtrace(1);
 }
-var35 = var28 > var31;
-var32 = var35;
-goto RET_LABEL33;
-RET_LABEL33:(void)0;
+var29 = var24 > var25;
+var26 = var29;
+goto RET_LABEL27;
+RET_LABEL27:(void)0;
 }
 }
-var15 = var32;
+var14 = var26;
 } else {
-var15 = var_27;
+var14 = var_23;
 }
-if (var15){
-var36 = 0;
-var_next_called = var36;
-var37 = NEW_range__Range(&type_range__Rangekernel__Int);
-var38 = 1;
+if (var14){
+var30 = 0;
+var_next_called = var30;
+var31 = 1;
+var_i = var31;
 {
-{ /* Inline string#FlatText#length (var_str) on <var_str:String> */
-var41 = var_str->attrs[COLOR_string__FlatText___length].l; /* _length on <var_str:String> */
-var39 = var41;
-RET_LABEL40:(void)0;
-}
-}
-{
-var42 = BOX_kernel__Int(var38); /* autobox from Int to Discrete */
-var43 = BOX_kernel__Int(var39); /* autobox from Int to Discrete */
-range__Range__without_last(var37, var42, var43); /* Direct call range#Range#without_last on <var37:Range[Int]>*/
-}
-{
-var44 = range__Range__iterator(var37);
+var32 = ((long (*)(val* self))(var_str->class->vft[COLOR_standard__string__Text__length]))(var_str) /* length on <var_str:String>*/;
 }
+var_33 = var32;
 for(;;) {
 {
-var45 = ((short int (*)(val*))(var44->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var44) /* is_ok on <var44:Iterator[Discrete]>*/;
+{ /* Inline kernel#Int#< (var_i,var_33) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var_33:Int> isa OTHER */
+/* <var_33:Int> isa OTHER */
+var36 = 1; /* easy <var_33:Int> isa OTHER*/
+if (unlikely(!var36)) {
+var_class_name39 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name39);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
+show_backtrace(1);
 }
-if(!var45) break;
-{
-var46 = ((val* (*)(val*))(var44->class->vft[COLOR_abstract_collection__Iterator__item]))(var44) /* item on <var44:Iterator[Discrete]>*/;
+var40 = var_i < var_33;
+var34 = var40;
+goto RET_LABEL35;
+RET_LABEL35:(void)0;
 }
-var47 = ((struct instance_kernel__Int*)var46)->value; /* autounbox from nullable Object to Int */;
-var_i = var47;
-if (varonce48) {
-var49 = varonce48;
-} else {
-var50 = "-";
-var51 = 1;
-var52 = string__NativeString__to_s_with_length(var50, var51);
-var49 = var52;
-varonce48 = var49;
-}
-{
-{ /* Inline string#FlatString#chars (var_str) on <var_str:String> */
-var55 = var_str->attrs[COLOR_string__FlatString___chars].val; /* _chars on <var_str:String> */
-if (unlikely(var55 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
-PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 746);
-show_backtrace(1);
 }
-var53 = var55;
-RET_LABEL54:(void)0;
+if (var34){
+if (varonce41) {
+var42 = varonce41;
+} else {
+var43 = "-";
+var44 = 1;
+var45 = standard___standard__NativeString___to_s_with_length(var43, var44);
+var42 = var45;
+varonce41 = var42;
 }
+{
+var46 = ((val* (*)(val* self))(var_str->class->vft[COLOR_standard__string__Text__chars]))(var_str) /* chars on <var_str:String>*/;
 }
 {
-var56 = ((val* (*)(val*, long))(var53->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var53, var_i) /* [] on <var53:SequenceRead[Char]>*/;
+var47 = ((val* (*)(val* self, long p0))(var46->class->vft[COLOR_standard__abstract_collection__SequenceRead___91d_93d]))(var46, var_i) /* [] on <var46:SequenceRead[Char]>*/;
 }
 {
-var58 = ((struct instance_kernel__Char*)var56)->value; /* autounbox from nullable Object to Char */;
-var57 = string__Char__to_s(var58);
+var49 = ((struct instance_standard__Char*)var47)->value; /* autounbox from nullable Object to Char */;
+var48 = standard__string___Char___Object__to_s(var49);
 }
 {
-var59 = string__FlatString___43d(var49, var57);
+var50 = ((val* (*)(val* self, val* p0))(var42->class->vft[COLOR_standard__string__String___43d]))(var42, var48) /* + on <var42:String>*/;
 }
-var_short_opt = var59;
+var_short_opt = var50;
 {
 { /* Inline opts#OptionContext#optmap (self) on <self:OptionContext> */
-var62 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
-if (unlikely(var62 == NULL)) {
+var53 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
+if (unlikely(var53 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 273);
 show_backtrace(1);
 }
-var60 = var62;
-RET_LABEL61:(void)0;
+var51 = var53;
+RET_LABEL52:(void)0;
 }
 }
 {
-var63 = abstract_collection__MapRead__has_key(var60, var_short_opt);
+var54 = standard___standard__MapRead___has_key(var51, var_short_opt);
 }
-if (var63){
+if (var54){
 {
 { /* Inline opts#OptionContext#optmap (self) on <self:OptionContext> */
-var66 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
-if (unlikely(var66 == NULL)) {
+var57 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
+if (unlikely(var57 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 273);
 show_backtrace(1);
 }
-var64 = var66;
-RET_LABEL65:(void)0;
+var55 = var57;
+RET_LABEL56:(void)0;
 }
 }
 {
-var67 = ((val* (*)(val*, val*))(var64->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var64, var_short_opt) /* [] on <var64:Map[String, Option]>*/;
+var58 = standard___standard__HashMap___standard__abstract_collection__MapRead___91d_93d(var55, var_short_opt);
 }
-var_option = var67;
+var_option = var58;
 /* <var_option:Option> isa OptionParameter */
-cltype69 = type_opts__OptionParameter.color;
-idtype70 = type_opts__OptionParameter.id;
-if(cltype69 >= var_option->type->table_size) {
-var68 = 0;
+cltype60 = type_opts__OptionParameter.color;
+idtype61 = type_opts__OptionParameter.id;
+if(cltype60 >= var_option->type->table_size) {
+var59 = 0;
 } else {
-var68 = var_option->type->type_table[cltype69] == idtype70;
+var59 = var_option->type->type_table[cltype60] == idtype61;
 }
-if (var68){
+if (var59){
 {
-((void (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
+((void (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
 }
-var71 = 1;
-var_next_called = var71;
+var62 = 1;
+var_next_called = var62;
 } else {
 }
 {
-((void (*)(val*, val*))(var_option->class->vft[COLOR_opts__Option__read_param]))(var_option, var_it) /* read_param on <var_option:Option>*/;
+((void (*)(val* self, val* p0))(var_option->class->vft[COLOR_opts__Option__read_param]))(var_option, var_it) /* read_param on <var_option:Option>*/;
 }
 } else {
 }
-CONTINUE_label: (void)0;
+var63 = 1;
 {
-((void (*)(val*))(var44->class->vft[COLOR_abstract_collection__Iterator__next]))(var44) /* next on <var44:Iterator[Discrete]>*/;
+var64 = standard___standard__Int___Discrete__successor(var_i, var63);
+}
+var_i = var64;
+} else {
+goto BREAK_label;
 }
 }
 BREAK_label: (void)0;
-var72 = !var_next_called;
-if (var72){
+var65 = !var_next_called;
+if (var65){
 {
-((void (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
+((void (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
 }
 } else {
 }
 } else {
 {
 { /* Inline opts#OptionContext#optmap (self) on <self:OptionContext> */
-var75 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
-if (unlikely(var75 == NULL)) {
+var68 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
+if (unlikely(var68 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 273);
 show_backtrace(1);
 }
-var73 = var75;
-RET_LABEL74:(void)0;
+var66 = var68;
+RET_LABEL67:(void)0;
 }
 }
 {
-var76 = abstract_collection__MapRead__has_key(var73, var_str);
+var69 = standard___standard__MapRead___has_key(var66, var_str);
 }
-if (var76){
+if (var69){
 {
 { /* Inline opts#OptionContext#optmap (self) on <self:OptionContext> */
-var79 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
-if (unlikely(var79 == NULL)) {
+var72 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
+if (unlikely(var72 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 273);
 show_backtrace(1);
 }
-var77 = var79;
-RET_LABEL78:(void)0;
+var70 = var72;
+RET_LABEL71:(void)0;
 }
 }
 {
-var80 = ((val* (*)(val*, val*))(var77->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var77, var_str) /* [] on <var77:Map[String, Option]>*/;
+var73 = standard___standard__HashMap___standard__abstract_collection__MapRead___91d_93d(var70, var_str);
 }
-var_opt = var80;
+var_opt = var73;
 {
-((void (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
+((void (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
 }
 {
-((void (*)(val*, val*))(var_opt->class->vft[COLOR_opts__Option__read_param]))(var_opt, var_it) /* read_param on <var_opt:Option>*/;
+((void (*)(val* self, val* p0))(var_opt->class->vft[COLOR_opts__Option__read_param]))(var_opt, var_it) /* read_param on <var_opt:Option>*/;
 }
 } else {
 {
-var81 = ((val* (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
+var74 = ((val* (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_it) /* item on <var_it:Iterator[String]>*/;
 }
 {
-array__Array__add(var_rest, var81); /* Direct call array#Array#add on <var_rest:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_rest, var74); /* Direct call array#Array#add on <var_rest:Array[String]>*/
 }
 {
-((void (*)(val*))(var_it->class->vft[COLOR_abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
+((void (*)(val* self))(var_it->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_it) /* next on <var_it:Iterator[String]>*/;
 }
+{
+{ /* Inline opts#OptionContext#options_before_rest (self) on <self:OptionContext> */
+var77 = self->attrs[COLOR_opts__OptionContext___options_before_rest].s; /* _options_before_rest on <self:OptionContext> */
+var75 = var77;
+RET_LABEL76:(void)0;
 }
 }
+if (var75){
+{
+var78 = standard__array___Iterator___to_a(var_it);
 }
-CONTINUE_label82: (void)0;
+{
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add_all(var_rest, var78); /* Direct call array#Array#add_all on <var_rest:Array[String]>*/
 }
-BREAK_label82: (void)0;
+var79 = 0;
+var_parseargs = var79;
+} else {
+}
+}
+}
+}
+} else {
+goto BREAK_label80;
+}
+}
+BREAK_label80: (void)0;
 {
 { /* Inline opts#OptionContext#options (self) on <self:OptionContext> */
-var85 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
-if (unlikely(var85 == NULL)) {
+var83 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
+if (unlikely(var83 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
-var83 = var85;
-RET_LABEL84:(void)0;
+var81 = var83;
+RET_LABEL82:(void)0;
 }
 }
+var_84 = var81;
 {
-var86 = array__AbstractArrayRead__iterator(var83);
+var85 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_84);
 }
+var_86 = var85;
 for(;;) {
 {
-var87 = array__ArrayIterator__is_ok(var86);
+var87 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_86);
 }
-if(!var87) break;
+if (var87){
 {
-var88 = array__ArrayIterator__item(var86);
+var88 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_86);
 }
 var_opt89 = var88;
 {
@@ -2447,7 +2005,7 @@ if (var90){
 var101 = self->attrs[COLOR_opts__OptionContext___errors].val; /* _errors on <self:OptionContext> */
 if (unlikely(var101 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 253);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 270);
 show_backtrace(1);
 }
 var99 = var101;
@@ -2459,7 +2017,7 @@ var103 = varonce102;
 } else {
 var104 = "Mandatory option ";
 var105 = 17;
-var106 = string__NativeString__to_s_with_length(var104, var105);
+var106 = standard___standard__NativeString___to_s_with_length(var104, var105);
 var103 = var106;
 varonce102 = var103;
 }
@@ -2468,7 +2026,7 @@ varonce102 = var103;
 var109 = var_opt89->attrs[COLOR_opts__Option___names].val; /* _names on <var_opt89:Option> */
 if (unlikely(var109 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 19);
 show_backtrace(1);
 }
 var107 = var109;
@@ -2480,251 +2038,283 @@ var111 = varonce110;
 } else {
 var112 = ", ";
 var113 = 2;
-var114 = string__NativeString__to_s_with_length(var112, var113);
+var114 = standard___standard__NativeString___to_s_with_length(var112, var113);
 var111 = var114;
 varonce110 = var111;
 }
 {
-var115 = string__Collection__join(var107, var111);
+var115 = standard__string___Collection___join(var107, var111);
 }
 if (varonce116) {
 var117 = varonce116;
 } else {
 var118 = " not found.";
 var119 = 11;
-var120 = string__NativeString__to_s_with_length(var118, var119);
+var120 = standard___standard__NativeString___to_s_with_length(var118, var119);
 var117 = var120;
 varonce116 = var117;
 }
-var121 = NEW_array__Array(&type_array__Arraykernel__Object);
+var121 = NEW_standard__Array(&type_standard__Array__standard__Object);
 { /* var121 = array_instance Array[Object] */
 var122 = 3;
-var123 = NEW_array__NativeArray(var122, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var123)->values[0] = (val*) var103;
-((struct instance_array__NativeArray*)var123)->values[1] = (val*) var115;
-((struct instance_array__NativeArray*)var123)->values[2] = (val*) var117;
+var123 = NEW_standard__NativeArray(var122, &type_standard__NativeArray__standard__Object);
+((struct instance_standard__NativeArray*)var123)->values[0] = (val*) var103;
+((struct instance_standard__NativeArray*)var123)->values[1] = (val*) var115;
+((struct instance_standard__NativeArray*)var123)->values[2] = (val*) var117;
 {
-((void (*)(val*, val*, long))(var121->class->vft[COLOR_array__Array__with_native]))(var121, var123, var122) /* with_native on <var121:Array[Object]>*/;
+((void (*)(val* self, val* p0, long p1))(var121->class->vft[COLOR_standard__array__Array__with_native]))(var121, var123, var122) /* with_native on <var121:Array[Object]>*/;
 }
 }
 {
-var124 = ((val* (*)(val*))(var121->class->vft[COLOR_string__Object__to_s]))(var121) /* to_s on <var121:Array[Object]>*/;
+var124 = ((val* (*)(val* self))(var121->class->vft[COLOR_standard__string__Object__to_s]))(var121) /* to_s on <var121:Array[Object]>*/;
 }
 {
-array__Array__add(var99, var124); /* Direct call array#Array#add on <var99:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var99, var124); /* Direct call array#Array#add on <var99:Array[String]>*/
 }
 } else {
 }
-CONTINUE_label125: (void)0;
 {
-array__ArrayIterator__next(var86); /* Direct call array#ArrayIterator#next on <var86:ArrayIterator[nullable Object]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_86); /* Direct call array#ArrayIterator#next on <var_86:ArrayIterator[Option]>*/
+}
+} else {
+goto BREAK_label125;
 }
 }
 BREAK_label125: (void)0;
-RET_LABEL:;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_86) on <var_86:ArrayIterator[Option]> */
+RET_LABEL126:(void)0;
+}
 }
-/* method opts#OptionContext#parse_intern for (self: Object, Iterator[String]) */
-void VIRTUAL_opts__OptionContext__parse_intern(val* self, val* p0) {
-opts__OptionContext__parse_intern(self, p0); /* Direct call opts#OptionContext#parse_intern on <self:Object(OptionContext)>*/
 RET_LABEL:;
 }
 /* method opts#OptionContext#build for (self: OptionContext) */
-void opts__OptionContext__build(val* self) {
+void opts___opts__OptionContext___build(val* self) {
 val* var /* : Array[Option] */;
 val* var2 /* : Array[Option] */;
+val* var_ /* var : Array[Option] */;
 val* var3 /* : ArrayIterator[nullable Object] */;
-short int var4 /* : Bool */;
-val* var5 /* : nullable Object */;
+val* var_4 /* var : ArrayIterator[Option] */;
+short int var5 /* : Bool */;
+val* var6 /* : nullable Object */;
 val* var_o /* var o: Option */;
-val* var6 /* : Array[String] */;
-val* var8 /* : Array[String] */;
-val* var9 /* : ArrayIterator[nullable Object] */;
-short int var10 /* : Bool */;
-val* var11 /* : nullable Object */;
+val* var7 /* : Array[String] */;
+val* var9 /* : Array[String] */;
+val* var_10 /* var : Array[String] */;
+val* var11 /* : ArrayIterator[nullable Object] */;
+val* var_12 /* var : ArrayIterator[String] */;
+short int var13 /* : Bool */;
+val* var14 /* : nullable Object */;
 val* var_n /* var n: String */;
-val* var12 /* : Map[String, Option] */;
-val* var14 /* : Map[String, Option] */;
+val* var15 /* : HashMap[String, Option] */;
+val* var17 /* : HashMap[String, Option] */;
 {
 { /* Inline opts#OptionContext#options (self) on <self:OptionContext> */
 var2 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
 if (unlikely(var2 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
 var = var2;
 RET_LABEL1:(void)0;
 }
 }
+var_ = var;
 {
-var3 = array__AbstractArrayRead__iterator(var);
+var3 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_);
 }
+var_4 = var3;
 for(;;) {
 {
-var4 = array__ArrayIterator__is_ok(var3);
+var5 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_4);
 }
-if(!var4) break;
+if (var5){
 {
-var5 = array__ArrayIterator__item(var3);
+var6 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_4);
 }
-var_o = var5;
+var_o = var6;
 {
 { /* Inline opts#Option#names (var_o) on <var_o:Option> */
-var8 = var_o->attrs[COLOR_opts__Option___names].val; /* _names on <var_o:Option> */
-if (unlikely(var8 == NULL)) {
+var9 = var_o->attrs[COLOR_opts__Option___names].val; /* _names on <var_o:Option> */
+if (unlikely(var9 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _names");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 19);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 19);
 show_backtrace(1);
 }
-var6 = var8;
-RET_LABEL7:(void)0;
+var7 = var9;
+RET_LABEL8:(void)0;
 }
 }
+var_10 = var7;
 {
-var9 = array__AbstractArrayRead__iterator(var6);
+var11 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_10);
 }
+var_12 = var11;
 for(;;) {
 {
-var10 = array__ArrayIterator__is_ok(var9);
+var13 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_12);
 }
-if(!var10) break;
+if (var13){
 {
-var11 = array__ArrayIterator__item(var9);
+var14 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_12);
 }
-var_n = var11;
+var_n = var14;
 {
 { /* Inline opts#OptionContext#optmap (self) on <self:OptionContext> */
-var14 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
-if (unlikely(var14 == NULL)) {
+var17 = self->attrs[COLOR_opts__OptionContext___optmap].val; /* _optmap on <self:OptionContext> */
+if (unlikely(var17 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _optmap");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 256);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 273);
 show_backtrace(1);
 }
-var12 = var14;
-RET_LABEL13:(void)0;
+var15 = var17;
+RET_LABEL16:(void)0;
 }
 }
 {
-((void (*)(val*, val*, val*))(var12->class->vft[COLOR_abstract_collection__Map___91d_93d_61d]))(var12, var_n, var_o) /* []= on <var12:Map[String, Option]>*/;
+standard___standard__HashMap___standard__abstract_collection__Map___91d_93d_61d(var15, var_n, var_o); /* Direct call hash_collection#HashMap#[]= on <var15:HashMap[String, Option]>*/
 }
-CONTINUE_label: (void)0;
 {
-array__ArrayIterator__next(var9); /* Direct call array#ArrayIterator#next on <var9:ArrayIterator[nullable Object]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_12); /* Direct call array#ArrayIterator#next on <var_12:ArrayIterator[String]>*/
+}
+} else {
+goto BREAK_label;
 }
 }
 BREAK_label: (void)0;
-CONTINUE_label15: (void)0;
 {
-array__ArrayIterator__next(var3); /* Direct call array#ArrayIterator#next on <var3:ArrayIterator[nullable Object]>*/
+{ /* Inline abstract_collection#Iterator#finish (var_12) on <var_12:ArrayIterator[String]> */
+RET_LABEL18:(void)0;
 }
 }
-BREAK_label15: (void)0;
-RET_LABEL:;
+{
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_4); /* Direct call array#ArrayIterator#next on <var_4:ArrayIterator[Option]>*/
+}
+} else {
+goto BREAK_label19;
+}
+}
+BREAK_label19: (void)0;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_4) on <var_4:ArrayIterator[Option]> */
+RET_LABEL20:(void)0;
+}
 }
-/* method opts#OptionContext#build for (self: Object) */
-void VIRTUAL_opts__OptionContext__build(val* self) {
-opts__OptionContext__build(self); /* Direct call opts#OptionContext#build on <self:Object(OptionContext)>*/
 RET_LABEL:;
 }
 /* method opts#OptionContext#get_errors for (self: OptionContext): Array[String] */
-val* opts__OptionContext__get_errors(val* self) {
+val* opts___opts__OptionContext___get_errors(val* self) {
 val* var /* : Array[String] */;
 val* var1 /* : Array[String] */;
 val* var_errors /* var errors: Array[String] */;
 val* var2 /* : Array[Option] */;
 val* var4 /* : Array[Option] */;
+val* var_ /* var : Array[Option] */;
 val* var5 /* : ArrayIterator[nullable Object] */;
-short int var6 /* : Bool */;
-val* var7 /* : nullable Object */;
+val* var_6 /* var : ArrayIterator[Option] */;
+short int var7 /* : Bool */;
+val* var8 /* : nullable Object */;
 val* var_o /* var o: Option */;
-val* var8 /* : Array[String] */;
-val* var10 /* : Array[String] */;
-val* var11 /* : ArrayIterator[nullable Object] */;
-short int var12 /* : Bool */;
-val* var13 /* : nullable Object */;
+val* var9 /* : Array[String] */;
+val* var11 /* : Array[String] */;
+val* var_12 /* var : Array[String] */;
+val* var13 /* : ArrayIterator[nullable Object] */;
+val* var_14 /* var : ArrayIterator[String] */;
+short int var15 /* : Bool */;
+val* var16 /* : nullable Object */;
 val* var_e /* var e: String */;
-var1 = NEW_array__Array(&type_array__Arraystring__String);
+var1 = NEW_standard__Array(&type_standard__Array__standard__String);
 {
-array__Array__init(var1); /* Direct call array#Array#init on <var1:Array[String]>*/
+standard___standard__Array___standard__kernel__Object__init(var1); /* Direct call array#Array#init on <var1:Array[String]>*/
 }
 var_errors = var1;
 {
-abstract_collection__SimpleCollection__add_all(var_errors, var_errors); /* Direct call abstract_collection#SimpleCollection#add_all on <var_errors:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add_all(var_errors, var_errors); /* Direct call array#Array#add_all on <var_errors:Array[String]>*/
 }
 {
 { /* Inline opts#OptionContext#options (self) on <self:OptionContext> */
 var4 = self->attrs[COLOR_opts__OptionContext___options].val; /* _options on <self:OptionContext> */
 if (unlikely(var4 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _options");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 247);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 264);
 show_backtrace(1);
 }
 var2 = var4;
 RET_LABEL3:(void)0;
 }
 }
+var_ = var2;
 {
-var5 = array__AbstractArrayRead__iterator(var2);
+var5 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_);
 }
+var_6 = var5;
 for(;;) {
 {
-var6 = array__ArrayIterator__is_ok(var5);
+var7 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_6);
 }
-if(!var6) break;
+if (var7){
 {
-var7 = array__ArrayIterator__item(var5);
+var8 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_6);
 }
-var_o = var7;
+var_o = var8;
 {
 { /* Inline opts#Option#errors (var_o) on <var_o:Option> */
-var10 = var_o->attrs[COLOR_opts__Option___errors].val; /* _errors on <var_o:Option> */
-if (unlikely(var10 == NULL)) {
+var11 = var_o->attrs[COLOR_opts__Option___errors].val; /* _errors on <var_o:Option> */
+if (unlikely(var11 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _errors");
-PRINT_ERROR(" (%s:%d)\n", "lib/opts.nit", 28);
+PRINT_ERROR(" (%s:%d)\n", FILE_opts, 28);
 show_backtrace(1);
 }
-var8 = var10;
-RET_LABEL9:(void)0;
+var9 = var11;
+RET_LABEL10:(void)0;
 }
 }
+var_12 = var9;
 {
-var11 = array__AbstractArrayRead__iterator(var8);
+var13 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_12);
 }
+var_14 = var13;
 for(;;) {
 {
-var12 = array__ArrayIterator__is_ok(var11);
+var15 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_14);
 }
-if(!var12) break;
+if (var15){
 {
-var13 = array__ArrayIterator__item(var11);
+var16 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_14);
 }
-var_e = var13;
+var_e = var16;
 {
-array__Array__add(var_errors, var_e); /* Direct call array#Array#add on <var_errors:Array[String]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_errors, var_e); /* Direct call array#Array#add on <var_errors:Array[String]>*/
 }
-CONTINUE_label: (void)0;
 {
-array__ArrayIterator__next(var11); /* Direct call array#ArrayIterator#next on <var11:ArrayIterator[nullable Object]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_14); /* Direct call array#ArrayIterator#next on <var_14:ArrayIterator[String]>*/
+}
+} else {
+goto BREAK_label;
 }
 }
 BREAK_label: (void)0;
-CONTINUE_label14: (void)0;
 {
-array__ArrayIterator__next(var5); /* Direct call array#ArrayIterator#next on <var5:ArrayIterator[nullable Object]>*/
+{ /* Inline abstract_collection#Iterator#finish (var_14) on <var_14:ArrayIterator[String]> */
+RET_LABEL17:(void)0;
+}
+}
+{
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_6); /* Direct call array#ArrayIterator#next on <var_6:ArrayIterator[Option]>*/
+}
+} else {
+goto BREAK_label18;
+}
+}
+BREAK_label18: (void)0;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_6) on <var_6:ArrayIterator[Option]> */
+RET_LABEL19:(void)0;
 }
 }
-BREAK_label14: (void)0;
 var = var_errors;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method opts#OptionContext#get_errors for (self: Object): Array[String] */
-val* VIRTUAL_opts__OptionContext__get_errors(val* self) {
-val* var /* : Array[String] */;
-val* var1 /* : Array[String] */;
-var1 = opts__OptionContext__get_errors(self);
-var = var1;
-RET_LABEL:;
-return var;
-}