_ZN3foo3barERKN1N1XINS_4quuxEEE:15680:2500
1: 2500
4: 1000
5: 1000
6: 800
7: 500
9: 10226
10: 2243
16: 0
18: 0
_ZN3foo3barERKN1N1XINS_4quuxEEE:15680:2500
1: 2500
4: 1000
5: 1000
6: 800
7: 500
9: 10226
10: 2243
16: 0
18: 0