Somewhat verbose (but more explicit than usual) ATS2

#include "share/atspre_staload.hats"

#define STACK_MAX 1000

stadef integer_kind = int32_kind
typedef integer = g0int integer_kind
extern castfn g0int2int_int_integer : g0int int_kind -<> integer
implement g0int2int<int_kind,integer_kind> i = g0int2int_int_integer i
val zero = g0int2int<int_kind,integer_kind> 0
val one = g0int2int<int_kind,integer_kind> 1

stadef stack_ptr_kind = int_kind
typedef stack_ptr = g1int stack_ptr_kind
vtypedef stack_vt = array (integer, STACK_MAX)
val stack_bottom = g1int2int<int_kind,stack_ptr_kind> 0
val stack_max = g1int2int<int_kind,stack_ptr_kind> STACK_MAX

macdef check_stack (i) = assertloc (g1int_lte<stack_ptr_kind> (stack_bottom, ,(i)) * g1int_lt<stack_ptr_kind> (,(i), stack_max))

val output = stdout_ref

implement
main0 () =
  let
    fnx
    start_here (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      kont0 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
    and
    kont0 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (420);
        kont5 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont5 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* neg *)
        val i = pred sp
        val () = check_stack i
      in
        stack[i] := g0int_neg<integer_kind> stack[i];
        kont6 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont6 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var0 = stack[sp]
      in
        kont11 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont11 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (300);
        kont16 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont16 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var1 = stack[sp]
      in
        kont21 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont21 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (300);
        kont26 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont26 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var2 = stack[sp]
      in
        kont31 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont31 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (300);
        kont36 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont36 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* neg *)
        val i = pred sp
        val () = check_stack i
      in
        stack[i] := g0int_neg<integer_kind> stack[i];
        kont37 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont37 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var3 = stack[sp]
      in
        kont42 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont42 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (7);
        kont47 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont47 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var4 = stack[sp]
      in
        kont52 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont52 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (15);
        kont57 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont57 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var5 = stack[sp]
      in
        kont62 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont62 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (200);
        kont67 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont67 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var6 = stack[sp]
      in
        kont72 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont72 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var2;
        kont77 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont77 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var7 = stack[sp]
      in
        kont82 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont82 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var7;
        kont87 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont87 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var3;
        kont92 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont92 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* gt *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := (if g0int_gt<integer_kind> (stack[i], stack[j]) then one else zero);
        kont93 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont93 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jz *)
        val sp = pred sp
        val () = check_stack sp
      in
        if g0int_eq<integer_kind> (stack[sp], zero) then
          kont423 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
        else
          kont98 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont98 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var0;
        kont103 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont103 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var8 = stack[sp]
      in
        kont108 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont108 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var8;
        kont113 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont113 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var1;
        kont118 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont118 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* lt *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := (if g0int_lt<integer_kind> (stack[i], stack[j]) then one else zero);
        kont119 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont119 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jz *)
        val sp = pred sp
        val () = check_stack sp
      in
        if g0int_eq<integer_kind> (stack[sp], zero) then
          kont396 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
        else
          kont124 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont124 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (0);
        kont129 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont129 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var9 = stack[sp]
      in
        kont134 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont134 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (0);
        kont139 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont139 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var10 = stack[sp]
      in
        kont144 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont144 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (32);
        kont149 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont149 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var11 = stack[sp]
      in
        kont154 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont154 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (0);
        kont159 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont159 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var12 = stack[sp]
      in
        kont164 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont164 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var12;
        kont169 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont169 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var6;
        kont174 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont174 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* lt *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := (if g0int_lt<integer_kind> (stack[i], stack[j]) then one else zero);
        kont175 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont175 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jz *)
        val sp = pred sp
        val () = check_stack sp
      in
        if g0int_eq<integer_kind> (stack[sp], zero) then
          kont369 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
        else
          kont180 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont180 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var10;
        kont185 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont185 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var10;
        kont190 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont190 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* mul *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_mul<integer_kind> (stack[i], stack[j]);
        kont191 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont191 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (200);
        kont196 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont196 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* div *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_div<integer_kind> (stack[i], stack[j]);
        kont197 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont197 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var13 = stack[sp]
      in
        kont202 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont202 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var9;
        kont207 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont207 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var9;
        kont212 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont212 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* mul *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_mul<integer_kind> (stack[i], stack[j]);
        kont213 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont213 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (200);
        kont218 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont218 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* div *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_div<integer_kind> (stack[i], stack[j]);
        kont219 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont219 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var14 = stack[sp]
      in
        kont224 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont224 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var13;
        kont229 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont229 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var14;
        kont234 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont234 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* add *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_add<integer_kind> (stack[i], stack[j]);
        kont235 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont235 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (800);
        kont240 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont240 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* gt *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := (if g0int_gt<integer_kind> (stack[i], stack[j]) then one else zero);
        kont241 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont241 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jz *)
        val sp = pred sp
        val () = check_stack sp
      in
        if g0int_eq<integer_kind> (stack[sp], zero) then
          kont298 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
        else
          kont246 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont246 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (48);
        kont251 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont251 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var12;
        kont256 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont256 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* add *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_add<integer_kind> (stack[i], stack[j]);
        kont257 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont257 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var11 = stack[sp]
      in
        kont262 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont262 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var12;
        kont267 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont267 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (9);
        kont272 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont272 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* gt *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := (if g0int_gt<integer_kind> (stack[i], stack[j]) then one else zero);
        kont273 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont273 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jz *)
        val sp = pred sp
        val () = check_stack sp
      in
        if g0int_eq<integer_kind> (stack[sp], zero) then
          kont288 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
        else
          kont278 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont278 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (64);
        kont283 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont283 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var11 = stack[sp]
      in
        kont288 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont288 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var6;
        kont293 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont293 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var12 = stack[sp]
      in
        kont298 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont298 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var10;
        kont303 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont303 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var9;
        kont308 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont308 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* mul *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_mul<integer_kind> (stack[i], stack[j]);
        kont309 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont309 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (100);
        kont314 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont314 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* div *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_div<integer_kind> (stack[i], stack[j]);
        kont315 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont315 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var7;
        kont320 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont320 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* add *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_add<integer_kind> (stack[i], stack[j]);
        kont321 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont321 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var9 = stack[sp]
      in
        kont326 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont326 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var13;
        kont331 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont331 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var14;
        kont336 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont336 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* sub *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_sub<integer_kind> (stack[i], stack[j]);
        kont337 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont337 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var8;
        kont342 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont342 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* add *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_add<integer_kind> (stack[i], stack[j]);
        kont343 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont343 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var10 = stack[sp]
      in
        kont348 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont348 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var12;
        kont353 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont353 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (1);
        kont358 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont358 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* add *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_add<integer_kind> (stack[i], stack[j]);
        kont359 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont359 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var12 = stack[sp]
      in
        kont364 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont364 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jmp *)
      in
        kont164 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont369 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var11;
        kont374 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont374 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* prtc *)
        val sp = pred sp
        val () = check_stack sp
      in
        fprint_val<uchar> (output, int2uchar0 (g0i2i stack[sp]));
        kont375 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont375 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var8;
        kont380 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont380 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var4;
        kont385 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont385 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* add *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_add<integer_kind> (stack[i], stack[j]);
        kont386 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont386 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var8 = stack[sp]
      in
        kont391 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont391 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jmp *)
      in
        kont108 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont396 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* push *)
        val () = check_stack sp
        val i = sp and sp = succ sp
      in
        stack[i] := g0int2int<intknd,integer_kind> (10);
        kont401 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont401 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* prtc *)
        val sp = pred sp
        val () = check_stack sp
      in
        fprint_val<uchar> (output, int2uchar0 (g0i2i stack[sp]));
        kont402 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont402 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var7;
        kont407 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont407 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* fetch *)
        val i = sp and sp = succ sp
        val () = check_stack sp
      in
        stack[i] := var5;
        kont412 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont412 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* sub *)
        val j = pred sp
        val i = pred j
        val () = check_stack j and () = check_stack i
        val sp = j
      in
        stack[i] := g0int_sub<integer_kind> (stack[i], stack[j]);
        kont413 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont413 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* store *)
        val sp = pred sp
        val () = check_stack sp
        val var7 = stack[sp]
      in
        kont418 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont418 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* jmp *)
      in
        kont82 (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
      end
    and
    kont423 (stack : &stack_vt, sp : stack_ptr, var0 : integer, var1 : integer, var2 : integer, var3 : integer, var4 : integer, var5 : integer, var6 : integer, var7 : integer, var8 : integer, var9 : integer, var10 : integer, var11 : integer, var12 : integer, var13 : integer, var14 : integer) : void =
      let (* halt *)
      in
        ()
      end

    var stack : stack_vt = @[integer][STACK_MAX] (zero)
    val sp : stack_ptr = stack_bottom
    val var0 : integer = zero
    val var1 : integer = zero
    val var2 : integer = zero
    val var3 : integer = zero
    val var4 : integer = zero
    val var5 : integer = zero
    val var6 : integer = zero
    val var7 : integer = zero
    val var8 : integer = zero
    val var9 : integer = zero
    val var10 : integer = zero
    val var11 : integer = zero
    val var12 : integer = zero
    val var13 : integer = zero
    val var14 : integer = zero
  in
    start_here (stack, sp, var0, var1, var2, var3, var4, var5, var6, var7, var8, var9, var10, var11, var12, var13, var14)
  end