-long var20 /* : Int */;
-long var21 /* : Int */;
-/* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
-/* <p0:Int> isa OTHER */
-var1 = 1; /* easy <p0:Int> isa OTHER*/
-if (!var1) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 299);
-exit(1);
-}
-var_other = p0;
-{ /* Inline kernel#Int#< (self,var_other) */
-/* Covariant cast for argument 0 (i) <var_other:Int> isa OTHER */
-/* <var_other:Int> isa OTHER */
-var4 = 1; /* easy <var_other:Int> isa OTHER*/
-if (!var4) {
-var_class_name7 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var8 = self < var_other;
-var2 = var8;
-goto RET_LABEL3;
-RET_LABEL3:(void)0;
-}
-if (var2){
-var9 = 1;
-{ /* Inline kernel#Int#unary - (var9) */
-var12 = -var9;
-var10 = var12;
-goto RET_LABEL11;
-RET_LABEL11:(void)0;
-}
-var = var10;
-goto RET_LABEL;
-} else {
-{ /* Inline kernel#Int#< (var_other,self) */
-/* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
-/* <self:Int> isa OTHER */
-var15 = 1; /* easy <self:Int> isa OTHER*/
-if (!var15) {
-var_class_name18 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var19 = var_other < self;
-var13 = var19;
-goto RET_LABEL14;
-RET_LABEL14:(void)0;
-}
-if (var13){
-var20 = 1;
-var = var20;
-goto RET_LABEL;
-} else {
-var21 = 0;
-var = var21;
-goto RET_LABEL;
-}
-}
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#<=> for (self: Object, Comparable): Int */
-long VIRTUAL_kernel__Int___60d_61d_62d(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-long var2 /* : Int */;
-long var3 /* : Int */;
-var2 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var3 = ((struct instance_kernel__Int*)p0)->value; /* autounbox from Comparable to Int */;
-var1 = kernel__Int___60d_61d_62d(var2, var3);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#is_between for (self: Int, Int, Int): Bool */
-short int kernel__Int__is_between(long self, long p0, long p1) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-short int var2 /* : Bool */;
-int cltype3;
-int idtype4;
-const char* var_class_name5;
-long var_c /* var c: Int */;
-long var_d /* var d: Int */;
-short int var6 /* : Bool */;
-short int var7 /* : Bool */;
-short int var9 /* : Bool */;
-int cltype10;
-int idtype11;
-const char* var_class_name12;
-short int var13 /* : Bool */;
-short int var_ /* var : Bool */;
-short int var14 /* : Bool */;
-short int var16 /* : Bool */;
-int cltype17;
-int idtype18;
-const char* var_class_name19;
-short int var20 /* : Bool */;
-short int var21 /* : Bool */;
-short int var22 /* : Bool */;
-/* Covariant cast for argument 0 (c) <p0:Int> isa OTHER */
-/* <p0:Int> isa OTHER */
-var1 = 1; /* easy <p0:Int> isa OTHER*/
-if (!var1) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 310);
-exit(1);
-}
-/* Covariant cast for argument 1 (d) <p1:Int> isa OTHER */
-/* <p1:Int> isa OTHER */
-var2 = 1; /* easy <p1:Int> isa OTHER*/
-if (!var2) {
-var_class_name5 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 310);
-exit(1);
-}
-var_c = p0;
-var_d = p1;
-{ /* Inline kernel#Int#< (self,var_c) */
-/* Covariant cast for argument 0 (i) <var_c:Int> isa OTHER */
-/* <var_c:Int> isa OTHER */
-var9 = 1; /* easy <var_c:Int> isa OTHER*/
-if (!var9) {
-var_class_name12 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var13 = self < var_c;
-var7 = var13;
-goto RET_LABEL8;
-RET_LABEL8:(void)0;
-}
-var_ = var7;
-if (var7){
-var6 = var_;
-} else {
-{ /* Inline kernel#Int#< (var_d,self) */
-/* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
-/* <self:Int> isa OTHER */
-var16 = 1; /* easy <self:Int> isa OTHER*/
-if (!var16) {
-var_class_name19 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name19);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var20 = var_d < self;
-var14 = var20;
-goto RET_LABEL15;
-RET_LABEL15:(void)0;
-}
-var6 = var14;
-}
-if (var6){
-var21 = 0;
-var = var21;
-goto RET_LABEL;
-} else {
-var22 = 1;
-var = var22;
-goto RET_LABEL;
-}
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#is_between for (self: Object, Comparable, Comparable): Bool */
-short int VIRTUAL_kernel__Int__is_between(val* self, val* p0, val* p1) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-long var2 /* : Int */;
-long var3 /* : Int */;
-long var4 /* : Int */;
-var2 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var3 = ((struct instance_kernel__Int*)p0)->value; /* autounbox from Comparable to Int */;
-var4 = ((struct instance_kernel__Int*)p1)->value; /* autounbox from Comparable to Int */;
-var1 = kernel__Int__is_between(var2, var3, var4);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#max for (self: Int, Int): Int */
-long kernel__Int__max(long self, long p0) {
-long var /* : Int */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-long var_other /* var other: Int */;
-short int var2 /* : Bool */;
-short int var4 /* : Bool */;
-int cltype5;
-int idtype6;
-const char* var_class_name7;
-short int var8 /* : Bool */;
-/* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
-/* <p0:Int> isa OTHER */
-var1 = 1; /* easy <p0:Int> isa OTHER*/
-if (!var1) {
-var_class_name = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 319);
-exit(1);
-}
-var_other = p0;
-{ /* Inline kernel#Int#< (self,var_other) */
-/* Covariant cast for argument 0 (i) <var_other:Int> isa OTHER */
-/* <var_other:Int> isa OTHER */
-var4 = 1; /* easy <var_other:Int> isa OTHER*/
-if (!var4) {
-var_class_name7 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
-}
-var8 = self < var_other;
-var2 = var8;
-goto RET_LABEL3;
-RET_LABEL3:(void)0;
-}
-if (var2){
-var = var_other;
-goto RET_LABEL;
-} else {
-var = self;
-goto RET_LABEL;
-}
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#max for (self: Object, Comparable): Comparable */
-val* VIRTUAL_kernel__Int__max(val* self, val* p0) {
-val* var /* : Comparable */;
-long var1 /* : Int */;
-long var2 /* : Int */;
-long var3 /* : Int */;
-val* var4 /* : Comparable */;
-var2 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var3 = ((struct instance_kernel__Int*)p0)->value; /* autounbox from Comparable to Int */;
-var1 = kernel__Int__max(var2, var3);
-var4 = BOX_kernel__Int(var1); /* autobox from Int to Comparable */
-var = var4;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#min for (self: Int, Int): Int */
-long kernel__Int__min(long self, long p0) {
-long var /* : Int */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-long var_c /* var c: Int */;
-short int var2 /* : Bool */;
-short int var4 /* : Bool */;
-int cltype5;
-int idtype6;
-const char* var_class_name7;
-short int var8 /* : Bool */;
-/* Covariant cast for argument 0 (c) <p0:Int> isa OTHER */