initialise-binding scope
  (collateral
     (map
        ( ),
      bind
        ("i",
         allocate-variable
           (integers)),
      map
        ( )),
   sequential
     (if-else
        (true,
         scope
           (collateral
              (map
                 ( )),
            print true),
         scope
           (collateral
              (map
                 ( )),
            print false)),
      assign
        (bound "i",
         integer-negate
           (decimal-natural
              ("30"))),
      while
        (is-less
           (assigned
              (bound
                 ("i")),
            decimal-natural
              ("10")),
         scope
           (collateral
              (map
                 ( ),
               map
                 ( ),
               map
                 ( )),
            sequential
              (assign
                 (bound "i",
                  int-add
                    (assigned
                       (bound
                          ("i")),
                     decimal-natural
                       ("1"))),
               print assigned
                 (bound
                    ("i")))))))