qsym

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