dsf/org.eclipse.cdt.examples.dsf.pda/pdavm/tests/vmtest8.pda

var a
call inner
push 1
output
halt
:inner
var b
call inner2
push 2
return
:inner2
var c
push 3
return