(executable (name pp))
(ocamllex lexer)
