qsym

 1function w $callee(w %a) {
 2@start
 3        %a =w add 1, %a
 4        ret %a
 5}
 6
 7function w $main(w %a) {
 8@start
 9        %symbolic =w call $callee(w %a)
10        jnz %symbolic, @end1, @end2
11@end1
12        %exit =w add 0, 2342
13        hlt
14@end2
15        %exit =w add 0, 4223
16        hlt
17}