qsym

 1[jnz] Exploring path for label 'end1'
 2Halting executing
 3Local variables:
 4	A0 = #x0000000000000008
 5	A1 = #x000000000000000c
 6	a = |main:a|
 7	exit = #x00000001
 8	result = (bvadd #xffffffff |main:a|)
 9	v1 = #x00000001
10	v2 = |main:a|
11	v3 = (bvadd #x00000001 |main:a|)
12Symbolic variable values:
13	main:a -> #x00000000
14	
15[jnz] Exploring path for label 'end2'
16Halting executing
17Local variables:
18	A0 = #x0000000000000008
19	A1 = #x000000000000000c
20	a = |main:a|
21	exit = #x00000002
22	result = (bvadd #xffffffff |main:a|)
23	v1 = #x00000001
24	v2 = |main:a|
25	v3 = (bvadd #x00000001 |main:a|)
26Symbolic variable values:
27	main:a -> #x00000001
28