program stability
  struct Pair
    field left: i32
    field right: i32
  fn sum_pair(pair: Pair) -> i32
    binary + : i32
      field-access left : i32
        var pair : Pair
      field-access right : i32
        var pair : Pair
  fn choose(value: i32) -> i32
    if : i32
      binary < : bool
        var value : i32
        int 10 : i32
      if : i32
        binary < : bool
          var value : i32
          int 5 : i32
        binary + : i32
          var value : i32
          int 1 : i32
        binary + : i32
          var value : i32
          int 2 : i32
      unsafe : i32
        if : i32
          binary < : bool
            var value : i32
            int 20 : i32
          binary + : i32
            var value : i32
            int 3 : i32
          binary + : i32
            var value : i32
            int 4 : i32
  fn loop_sum() -> i32
    local var i : unit
      int 0 : i32
    local var total : unit
      int 0 : i32
    while : unit
      binary < : bool
        var i : i32
        int 3 : i32
      set total : unit
        unsafe : i32
          if : i32
            binary < : bool
              var i : i32
              int 2 : i32
            binary + : i32
              var total : i32
              var i : i32
            binary + : i32
              var total : i32
              int 1 : i32
      set i : unit
        binary + : i32
          var i : i32
          int 1 : i32
    var total : i32
  fn accept_many(a: i32, b: i32, c: i32, d: i32, e: i32, f: i32, g: i32, h: i32, i: i32, j: i32) -> i32
    binary + : i32
      var a : i32
      var j : i32
  fn long_inline_call() -> i32
    call accept_many : i32
      int 100000001 : i32
      int 100000002 : i32
      int 100000003 : i32
      int 100000004 : i32
      int 100000005 : i32
      int 100000006 : i32
      int 100000007 : i32
      int 100000008 : i32
      int 100000009 : i32
      int 100000010 : i32
  test "comments stay"
    local let value : unit
      int 42 : i32
    binary = : bool
      var value : i32
      int 42 : i32