1*0Sstevel@tonic-gate /* Auto generated with chartype.pl script. 2*0Sstevel@tonic-gate * Mask of various character properties 3*0Sstevel@tonic-gate */ 4*0Sstevel@tonic-gate 5*0Sstevel@tonic-gate static unsigned char char_type[] = { 6*0Sstevel@tonic-gate 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 7*0Sstevel@tonic-gate 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 8*0Sstevel@tonic-gate 120, 0, 1,40, 0, 0, 0,16,16,16, 0,25,25,16,16,16, 9*0Sstevel@tonic-gate 16,16,16,16,16,16,16,16,16,16,16, 9, 9,16, 9,16, 10*0Sstevel@tonic-gate 0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16, 11*0Sstevel@tonic-gate 16,16,16,16,16,16,16,16,16,16,16, 0, 1, 0, 0, 0, 12*0Sstevel@tonic-gate 0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16, 13*0Sstevel@tonic-gate 16,16,16,16,16,16,16,16,16,16,16, 0, 0, 0, 0, 2 14*0Sstevel@tonic-gate }; 15*0Sstevel@tonic-gate 16