#0  0xb78567f2 in ?? ()