pool:

Update: Never mind ... a range of 0x7f..0x80 isn't likely what you wanted.

For want of an 'x', a character range was pooched. Perhaps you meant [\x7f-\x80]?

...roboticus

When your only tool is a hammer, all problems look like your thumb.