#0  0xb7ef9410 in ?? ()