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