qsym

 1[jnz] Exploring path for label 'a'
 2Halting executing
 3Local variables:
 4	.1 = |main:.1|
 5	ret = #x00000001
 6Symbolic variable values:
 7	main:.1 -> #x00000002
 8	
 9[jnz] Exploring path for label 'b'
10Halting executing
11Local variables:
12	.1 = |main:.1|
13	ret = #x00000002
14Symbolic variable values:
15	main:.1 -> #x00000000
16