*** The regexp [\200-\377] no longer matches all non-ASCII characters,
because when enable-multibyte-characters is non-nil, these characters
have codes that are not in the range octal 200 to octal 377. However,
the regexp [^\000-\177] does match all non-ASCII characters,
guaranteed.