-var160 = 1; /* easy <var_high:Int> isa OTHER*/
-if (unlikely(!var160)) {
-var_class_name163 = type_standard__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name163);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
-show_backtrace(1);
-}
-var164 = var_low + var_high;
-var158 = var164;
-goto RET_LABEL159;
-RET_LABEL159:(void)0;
-}
-}
-var165 = 2;
-{
-{ /* Inline kernel#Int#/ (var158,var165) on <var158:Int> */
-/* Covariant cast for argument 0 (i) <var165:Int> isa OTHER */
-/* <var165:Int> isa OTHER */
-var168 = 1; /* easy <var165:Int> isa OTHER*/
-if (unlikely(!var168)) {
-var_class_name171 = type_standard__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name171);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 418);
-show_backtrace(1);
-}
-var172 = var158 / var165;
-var166 = var172;
-goto RET_LABEL167;
-RET_LABEL167:(void)0;
-}
-}
-var_middle = var166;
-var173 = 3;
-{
-{ /* Inline kernel#Int#* (var_middle,var173) on <var_middle:Int> */
-/* Covariant cast for argument 0 (i) <var173:Int> isa OTHER */
-/* <var173:Int> isa OTHER */
-var176 = 1; /* easy <var173:Int> isa OTHER*/
-if (unlikely(!var176)) {
-var_class_name179 = type_standard__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name179);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 417);
-show_backtrace(1);
-}
-var180 = var_middle * var173;
-var174 = var180;
-goto RET_LABEL175;
-RET_LABEL175:(void)0;
-}
-}
-var181 = 1;
-{
-{ /* Inline kernel#Int#+ (var174,var181) on <var174:Int> */
-/* Covariant cast for argument 0 (i) <var181:Int> isa OTHER */
-/* <var181:Int> isa OTHER */
-var184 = 1; /* easy <var181:Int> isa OTHER*/
-if (unlikely(!var184)) {
-var_class_name187 = type_standard__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name187);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
-show_backtrace(1);
-}
-var188 = var174 + var181;
-var182 = var188;
-goto RET_LABEL183;
-RET_LABEL183:(void)0;
-}
-}
-var_offset = var182;
+var135 = 1; /* easy <var_high:Int> isa OTHER*/
+if (unlikely(!var135)) {
+var_class_name138 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name138);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 537);
+fatal_exit(1);
+}
+var139 = var_low + var_high;
+var133 = var139;
+goto RET_LABEL134;
+RET_LABEL134:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#/ (var133,2l) on <var133:Int> */
+/* Covariant cast for argument 0 (i) <2l:Int> isa OTHER */
+/* <2l:Int> isa OTHER */
+var142 = 1; /* easy <2l:Int> isa OTHER*/
+if (unlikely(!var142)) {
+var_class_name145 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name145);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 542);
+fatal_exit(1);
+}
+var146 = var133 / 2l;
+var140 = var146;
+goto RET_LABEL141;
+RET_LABEL141:(void)0;
+}
+}
+var_middle = var140;
+{
+{ /* Inline kernel#Int#* (var_middle,3l) on <var_middle:Int> */
+/* Covariant cast for argument 0 (i) <3l:Int> isa OTHER */
+/* <3l:Int> isa OTHER */
+var149 = 1; /* easy <3l:Int> isa OTHER*/
+if (unlikely(!var149)) {
+var_class_name152 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name152);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 541);
+fatal_exit(1);
+}
+var153 = var_middle * 3l;
+var147 = var153;
+goto RET_LABEL148;
+RET_LABEL148:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#+ (var147,1l) on <var147:Int> */
+/* Covariant cast for argument 0 (i) <1l:Int> isa OTHER */
+/* <1l:Int> isa OTHER */
+var156 = 1; /* easy <1l:Int> isa OTHER*/
+if (unlikely(!var156)) {
+var_class_name159 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name159);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 537);
+fatal_exit(1);
+}
+var160 = var147 + 1l;
+var154 = var160;
+goto RET_LABEL155;
+RET_LABEL155:(void)0;
+}
+}
+var_offset = var154;