#0  0xb7ef9424 in ?? ()