static short zznstate[] = {
　　　　 25, 92,　2, 31,　4, 90, 13,　7, 15, 87, 11,　5,　6,　8, 81, 10,
　　　　　1,　3, 18, 75, 29,　9, 22, 23, 82, 69, 99,175, 83, 65,100,174,
　　　　 84, 59,101,176,177, 85, 52,102, 88,　0, 86, 63, 89, 17, 28, 12,
...
　　　　125,　0,113,151,126,　0,　0,116,152,127,　0,　0,117,153,128, 16,
　　　　134,139,119,　0,135,140,120,　0,136,141,121,　0,　0,137,142,122,
　　　　　0,　0,138,143,123 } ;
zztrans(c,n) int c; int n;
{
　　　　int *state;
　　　　int index; 
　　　　state = &(zzstms[n].zzstate);
　　　　if(zzdeftrans[*state])
　　　　　　　　*state = zzdeftrans[*state];
　　　　else{
　　　　　　　　index = zznindex[*state] + zzctype[c];
...
}