1_Z3bari:18446744073709551615:1000
2 1: 18446744073709551615
3_Z3fooi:18446744073709551615:1000
4 1: 18446744073709551615
5main:1000:0
6 1: 500 _Z3bari:18446744073709551615
7 2: 500 _Z3fooi:18446744073709551615
8