_Z3bari:20301:1437 1: 1437 _Z3fooi:7711:610 1: 610 main:184019:0 4: 534 4.2: 534 5: 1075 5.1: 1075 6: 2080 7: 534 9: 2064 _Z3bari:1471 _Z3fooi:631