Write a 32-bit integer to a stream in big-endian byte order.
Declared in <serialize.h>
<serialize.h>
template<typename Stream> void ser_writedata32be( Stream& s, uint32_t obj);