1 /* character-class table */
9 "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789",
12 "alpha", "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", ""
17 "\007\b\t\n\v\f\r\1\2\3\4\5\6\16\17\20\21\22\23\24\25\26\27"
18 "\30\31\32\33\34\35\36\37\177",
21 "digit", "0123456789", ""
24 "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789"
25 "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~",
28 "lower", "abcdefghijklmnopqrstuvwxyz", ""
31 "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789"
32 "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~ ",
35 "punct", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", ""
37 "space", "\t\n\v\f\r ", ""
39 "upper", "ABCDEFGHIJKLMNOPQRSTUVWXYZ", ""
41 "xdigit", "0123456789ABCDEFabcdef", ""