#0  0xb7f00d77 in ?? ()