The correctness of this max number depends on the default encoding. '\0' is probably shortest possible character in most encodings.