#0  0xf78959e0 in ?? ()