canonical format still leaves a little wiggle room

[kr]

It seems that the size could be encoded with various amounts of leading zeroes. You might want to explicitly say that's not allowed.