1_Z3bari:0:0
2 1: 0
3_Z3fooi:0:0
4 1: 0
5main:0:0
6 4: 0
7 4.2: 0
8 5: 0
9 5.1: 0
10 6: 0
11 7: 0
12 9: 0
13 10: inline1:0
14  1: 0
15 10: inline2:0
16  1: 0
17_Z3bazi:0:0
18 1: 0
19