using 64-bit unsigned integer types in message_header