(
(:label)
(ld r0 1)
; the procedure is surrounded by a jump and a label
(proc foo
(nop)
(j :label)
(ret)
)
(proc bar
(ld r0 2)
(halt)