Symbol: emul64_tgt