sl@0: /* Auto generated with chartype.pl script.
sl@0:  * Mask of various character properties
sl@0:  */
sl@0: 
sl@0: static const unsigned char char_type[] = {
sl@0:  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
sl@0:  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
sl@0: 120, 0, 1,40, 0, 0, 0,16,16,16, 0,25,25,16,16,16,
sl@0: 16,16,16,16,16,16,16,16,16,16,16, 9, 9,16, 9,16,
sl@0:  0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,
sl@0: 16,16,16,16,16,16,16,16,16,16,16, 0, 1, 0, 0, 0,
sl@0:  0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,
sl@0: 16,16,16,16,16,16,16,16,16,16,16, 0, 0, 0, 0, 2
sl@0: };
sl@0: