flatten-program:
(let ()
  <lang-defn>
  (global-data)
  (code
    (jump (label main$1))
    main$1
    (jump (label altern$3))
    (set! rv 12)
    (jump p0)
    altern$3
    (set! rv 30)
    (jump p0)))