qsym

 1[jnz] Exploring path for label 'end1'
 2Halting executing
 3Local variables:
 4	a = |main:a|
 5	b = |main:b|
 6	c = (bvadd |main:a| |main:b|)
 7	exit = #x00000001
 8Symbolic variable values:
 9	main:a -> #x00000010
10	main:b -> #xfffffffd
11	
12[jnz] Exploring path for label 'end2'
13Halting executing
14Local variables:
15	a = |main:a|
16	b = |main:b|
17	c = (bvadd |main:a| |main:b|)
18	exit = #x00000002
19Symbolic variable values:
20	main:a -> #x00000002
21	main:b -> #xfffffffe
22