TR+
(F*bytemem[3]*; E*[3][maxbytes + 1]*[maxbytes + 1][3]*)
(F*tokmem[4]*;  E*[4][maxtoks + 1]*[maxtoks + 1][4]*)
GE*bytemem [ w ][ k ]*bytemem [ k ][ w ]*
GE*tokmem [ z ][ tokptr [ z ] ]*tokmem [ tokptr [ z ] ][ z ]*
GE*tokmem [ zo ][ curstate .bytefield ]*tokmem [ curstate .bytefield ][ zo ]*
(F*== '/' )*; A*(*(*; A*)* || ( fname [ i ] == ':' ))*; N)
(F*== '/' )*; A*(*(*; A*)* || ( fname [ i ] == ':' ))*)
(F*filename [ 1 ]*;  E*'/'*'n'*)
(F*filename [ 2 ]*;  E*'d'*'i'*)
(F*filename [ 3 ]*;  E*'e'*'l'*)
(F*filename [ 4 ]*;  E*'v'*':'*)
(F*filename [ 5 ]*;  E*'/'*' '*)
(F*filename [ 6 ]*;  E*'n'*' '*)
(F*filename [ 7 ]*;  E*'u'*' '*)
(F*filename [ 8 ]*;  E*'l'*' '*)
(F*filename [ 9 ]*;  E*'l'*' '*)
(F*bytemem [ w ][ k +*; E*[ w ][ k + j - 1 ]*[ k + j - 1 ][ w ]*)
F*tokptr [ z ] + 1*
E*tokmem [ z ][ tokptr [ z ] + 1 ]*tokmem [ tokptr [ z ] + 1 ][ z ]*
(F*bytemem [ w ][ j ]*; E*[ w ][ j ]*[ j ][ w ]*)

