#0  0xb742ebd4 in ?? ()