uint32_pack_big(3diet) on Linux

The text 6d7815c38404, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.

write an unsigned big-endian 32-bit integer