(def inc (x) () (+ x 1))
(def main () ()
  (sys 1 (inc 3)))
