#0  0xb7d51a2b in ?? ()