Write a 64-bit integer to a byte buffer in big-endian order.
Declared in <crypto/common.h>
<crypto/common.h>
template<ByteType B> void WriteBE64( B* ptr, uint64_t x);