Fix trap4 in 64 bit simulation