invariant 26 Bytes