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
             ("e",
              allocate-variable (values)),
            handle-thrown
              (scope
                (bind
                  ("x",
                   allocate-initialised-variable
                     (values,
                      decimal-natural ("2"))),
                 sequential
                   (print (assigned (bound ("x")),
                   " "),
                    throw (integer-add
                      (give
                        (bound ("x"),
                         sequential
                           (assign
                             (given,
                              integer-add
                                (assigned (given),
                                 1)),
                            assigned (given))),
                       assigned (bound ("x")))))),
               scope
                 (bind
                   ("e",
                    allocate-initialised-variable
                      (values,
                       given)),
                  print (assigned (bound ("e")),
                  "\n")))))))),
   apply
     (assigned (bound ("main")),
      tuple ())))