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