1 /* Auto generated with chartype.pl script.
   2  * Mask of various character properties
   3  */
   4 
   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
  14 };