INS 37/12 ;12C1 DEFIN TKNBH,3 ;[1576] bfr hdr when 1st tkn char found DEFIN TKNSIZ,1 ;[1576] size of scanned token DEFIN ENDTKN,3 ;[1576] bfr hdr when last tkn found SUM 158248