(
    (:label)
    (ld r0 1)

    ; the procedure is surrounded by a jump and a label
    (proc foo
        (:label)
        (nop)
        (j :label)
        (ret)
    )

    (proc bar
        (:label)
        (nop)
        (j :label)
        (ret)
    )

    (ld r0 2)
    (halt)

    (j :label)
)