#0 0xb7f6d424 in ?? ()