A scanner/parser generator