initialise-binding initialise-storing initialise-giving finalise-failing finalise-throwing scope
  (collateral (bind
    ("main",
     allocate-variable (functions
       (tuples ((values)*),
        values)))),
   sequential (assign
     (bound ("main"),
      function closure (scope
        (match
          (given,
           tuple ()),
         handle-return (scope
           (bind
             ("x",
              allocate-variable (values)),
            scope
              (bind
                ("y",
                 allocate-variable (values)),
               sequential
                 (effect (give
                   (give
                     (decimal-natural ("2"),
                      sequential
                        (assign
                          (bound ("y"),
                           given),
                         given)),
                    sequential
                      (assign
                        (bound ("x"),
                         given),
                       given))),
                  print (give
                    (bound ("x"),
                     sequential
                       (assign
                         (given,
                          integer-add
                            (assigned (given),
                             1)),
                        assigned (given)))),
                  print (assigned (bound ("y")))))))))),
   apply
     (assigned (bound ("main")),
      tuple ())))