Previously in Read_U64 and Write_U64 the value that was read or written would be truncated to a 32-bit value before being passed off to the memcheck handler, which can result in incorrect values being logged out.