qsym

 1[jnz] Exploring path for label 'if_true.3'
 2[jnz] Exploring path for label 'if_true.5'
 3Local variables:
 4	.1 = |main:.1|
 5	.10 = (ite (bvsle #x00000005 |main:.1|) #x00000000 #x00000001)
 6	.2 = #x0000000000000008
 7	.3 = |main:.3|
 8	.4 = #x0000000000000010
 9	.5 = #x0000000000000018
10	.6 = |main:.1|
11	.7 = |main:.3|
12	.8 = (ite (bvsle |main:.3| |main:.1|) #x00000000 #x00000001)
13	.9 = |main:.1|
14Symbolic variable values:
15	main:.1 -> #x00000000
16	main:.3 -> #x40000002
17	
18[jnz] Exploring path for label 'if_false.6'
19Local variables:
20	.1 = |main:.1|
21	.10 = (ite (bvsle #x00000005 |main:.1|) #x00000000 #x00000001)
22	.2 = #x0000000000000008
23	.3 = |main:.3|
24	.4 = #x0000000000000010
25	.5 = #x0000000000000018
26	.6 = |main:.1|
27	.7 = |main:.3|
28	.8 = (ite (bvsle |main:.3| |main:.1|) #x00000000 #x00000001)
29	.9 = |main:.1|
30Symbolic variable values:
31	main:.1 -> #x40000000
32	main:.3 -> #x40000002
33	
34[jnz] Exploring path for label 'if_false.4'
35Local variables:
36	.1 = |main:.1|
37	.2 = #x0000000000000008
38	.3 = |main:.3|
39	.4 = #x0000000000000010
40	.5 = #x0000000000000018
41	.6 = |main:.1|
42	.7 = |main:.3|
43	.8 = (ite (bvsle |main:.3| |main:.1|) #x00000000 #x00000001)
44Symbolic variable values:
45	main:.1 -> #xc0000000
46	main:.3 -> #x80000002
47