(code
    (jump (label main$1))
    main$1
    (set! p0 p0)
    (jump (label altern$3) (set! rv 12) (jump p0) altern$3
      (set! rv 30) (jump p0))))