Test readInt64