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
             ("a",
              allocate-nested-vectors (decimal-natural ("2"),
              decimal-natural ("3"))),
            sequential
              (effect (give
                (true,
                 sequential
                   (assign
                     (checked index
                       (integer-add
                         (1,
                          decimal-natural ("2")),
                        vector-elements (assigned (checked index
                          (integer-add
                            (1,
                             decimal-natural ("1")),
                           vector-elements (assigned (bound ("a"))))))),
                      given),
                    given))),
               print (assigned (checked index
                 (integer-add
                   (1,
                    decimal-natural ("2")),
                  vector-elements (assigned (checked index
                    (integer-add
                      (1,
                       decimal-natural ("1")),
                     vector-elements (assigned (bound ("a"))))))))))))))),
   apply
     (assigned (bound ("main")),
      tuple ())))