1
/* Auto generated with chartype.pl script.
2
* Mask of various character properties
5
static const unsigned char char_type[] = {
6
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
7
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
8
120, 0, 1,40, 0, 0, 0,16,16,16, 0,25,25,16,16,16,
9
16,16,16,16,16,16,16,16,16,16,16, 9, 9,16, 9,16,
10
0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,
11
16,16,16,16,16,16,16,16,16,16,16, 0, 1, 0, 0, 0,
12
0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,
13
16,16,16,16,16,16,16,16,16,16,16, 0, 0, 0, 0, 2