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 (if-else
           (not (is-equal
             (decimal-natural ("3"),
              decimal-natural ("4"))),
            print ("good"),
            null))))),
   apply
     (assigned (bound ("main")),
      tuple ())))