*<Null safety>*
void encodeMessageHeader (int ordinal, int txid)
void encodeMessageHeader(int ordinal, int txid) { alloc(kMessageHeaderSize); encodeUint32(txid, kMessageTxidOffset); encodeUint8(_kUnionAsXUnionFlag, kMessageFlagOffset); encodeUint8(0, kMessageFlagOffset + 1); encodeUint8(0, kMessageFlagOffset + 2); encodeUint8(kMagicNumberInitial, kMessageMagicOffset); encodeUint64(ordinal, kMessageOrdinalOffset); allocComplete(); }