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-initialised-variable
                (values,
                 integer-subtract
                   (checked integer-modulo
                     (integer-multiply
                       (decimal-natural ("8"),
                        decimal-natural ("5")),
                      decimal-natural ("14")),
                    checked integer-divide
                      (integer-multiply
                        (decimal-natural ("2"),
                         decimal-natural ("6")),
                       decimal-natural ("3"))))),
            return (assigned (bound ("x")))))))),
   apply
     (assigned (bound ("main")),
      tuple ())))