BR 2017453: indirect jumps in 64-bit mode are implicitly 64 bits