;; Contract empty_loop

FUNCTION run (integer) : integer
  STORE var0 arg0
  PUSH (0)
  JUMP 1

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0

  DEC var0
  GT var1 var0 0
  JUMPIF var1 1

  RETURNR 0