Aggregation Key bits order

[Natalia-user]

Am i correct or no when assume that: source-side key piece bits in aggregation key is a 64 most significant bits in 128 bit integer but this integer is encoded as big-endian, so in byte string this bits will goes first, i.e. if we have, say, source part encoded in hex is: 0123456789ABCDEF trigger part encoded in hex is: 0000000000000000 so 128-bit integer representing the aggregation key will be: 0x0123456789ABCDEF0000000000000000 and the first bits of resulting bytes of the aggregation key will be: 0000 0001 0010 0011 ....