-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#rshift for (self: Int, Int): Int */
-long kernel__Int__rshift(long self, long p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = self >> p0;
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#rshift for (self: Object, Int): Int */
-long VIRTUAL_kernel__Int__rshift(val* self, long p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-long var3 /* : Int */;
-long var4 /* : Int */;
-{ /* Inline kernel#Int#rshift (self,p0) */
-var3 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var4 = var3 >> p0;
-var1 = var4;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#to_f for (self: Int): Float */
-double kernel__Int__to_f(long self) {
-double var /* : Float */;
-double var1 /* : Float */;
-var1 = (double)self;
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#to_f for (self: Object): Float */
-double VIRTUAL_kernel__Int__to_f(val* self) {
-double var /* : Float */;
-double var1 /* : Float */;
-long var3 /* : Int */;
-double var4 /* : Float */;
-{ /* Inline kernel#Int#to_f (self) */
-var3 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var4 = (double)var3;
-var1 = var4;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#succ for (self: Int): Int */
-long kernel__Int__succ(long self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = self+1;
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#succ for (self: Object): Discrete */
-val* VIRTUAL_kernel__Int__succ(val* self) {
-val* var /* : Discrete */;
-long var1 /* : Int */;
-long var3 /* : Int */;
-long var4 /* : Int */;
-val* var5 /* : Discrete */;
-{ /* Inline kernel#Int#succ (self) */
-var3 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var4 = var3+1;
-var1 = var4;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var5 = BOX_kernel__Int(var1); /* autobox from Int to Discrete */
-var = var5;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#prec for (self: Int): Int */
-long kernel__Int__prec(long self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = self-1;
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#prec for (self: Object): Discrete */
-val* VIRTUAL_kernel__Int__prec(val* self) {
-val* var /* : Discrete */;
-long var1 /* : Int */;
-long var3 /* : Int */;
-long var4 /* : Int */;
-val* var5 /* : Discrete */;
-{ /* Inline kernel#Int#prec (self) */
-var3 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var4 = var3-1;
-var1 = var4;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var5 = BOX_kernel__Int(var1); /* autobox from Int to Discrete */
-var = var5;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#distance for (self: Int, Int): Int */
-long kernel__Int__distance(long self, long p0) {
-long var /* : Int */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-long var_i /* var i: Int */;
-long var2 /* : Int */;
-long var4 /* : Int */;
-long var_d /* var d: Int */;
-long var5 /* : Int */;
-short int var6 /* : Bool */;
-short int var8 /* : Bool */;
-int cltype9;
-int idtype10;
-short int var11 /* : Bool */;
-long var12 /* : Int */;
-long var14 /* : Int */;
-/* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
-/* <p0:Int> isa OTHER */
-var1 = 1; /* easy <p0:Int> isa OTHER*/
-if (!var1) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 285);
-exit(1);
-}
-var_i = p0;
-{ /* Inline kernel#Int#- (self,var_i) */
-var4 = self - var_i;
-var2 = var4;
-goto RET_LABEL3;
-RET_LABEL3:(void)0;
-}
-var_d = var2;
-var5 = 0;
-{ /* Inline kernel#Int#>= (var_d,var5) */
-/* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
-/* <var5:Int> isa OTHER */
-var8 = 1; /* easy <var5:Int> isa OTHER*/
-if (!var8) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 258);
-exit(1);
-}
-var11 = var_d >= var5;
-var6 = var11;
-goto RET_LABEL7;
-RET_LABEL7:(void)0;
-}
-if (var6){
-var = var_d;
-goto RET_LABEL;
-} else {
-{ /* Inline kernel#Int#unary - (var_d) */
-var14 = -var_d;
-var12 = var14;
-goto RET_LABEL13;
-RET_LABEL13:(void)0;
-}
-var = var12;
-goto RET_LABEL;
-}
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#distance for (self: Object, Discrete): Int */
-long VIRTUAL_kernel__Int__distance(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 Discrete to Int */;
-var1 = kernel__Int__distance(var2, var3);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method kernel#Int#<=> for (self: Int, Int): Int */
-long kernel__Int___60d_61d_62d(long self, long p0) {
-long var /* : Int */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-long var_other /* var other: Int */;
-short int var2 /* : Bool */;
-short int var4 /* : Bool */;
-int cltype5;
-int idtype6;
-short int var7 /* : Bool */;
-long var8 /* : Int */;
-long var9 /* : Int */;
-long var11 /* : Int */;
-short int var12 /* : Bool */;
-short int var14 /* : Bool */;
-int cltype15;
-int idtype16;
-short int var17 /* : Bool */;
-long var18 /* : Int */;
-long var19 /* : Int */;
-/* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
-/* <p0:Int> isa OTHER */
-var1 = 1; /* easy <p0:Int> isa OTHER*/
-if (!var1) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 295);
-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) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 257);
-exit(1);
-}
-var7 = self < var_other;
-var2 = var7;
-goto RET_LABEL3;
-RET_LABEL3:(void)0;
-}
-if (var2){
-var8 = 1;
-{ /* Inline kernel#Int#unary - (var8) */
-var11 = -var8;
-var9 = var11;
-goto RET_LABEL10;
-RET_LABEL10:(void)0;
-}
-var = var9;
-goto RET_LABEL;
-} else {
-{ /* Inline kernel#Int#< (var_other,self) */
-/* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
-/* <self:Int> isa OTHER */
-var14 = 1; /* easy <self:Int> isa OTHER*/
-if (!var14) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 257);
-exit(1);
-}
-var17 = var_other < self;
-var12 = var17;
-goto RET_LABEL13;
-RET_LABEL13:(void)0;
-}
-if (var12){
-var18 = 1;
-var = var18;
-goto RET_LABEL;
-} else {
-var19 = 0;
-var = var19;
-goto RET_LABEL;