(executable
 (name pp))

(ocamllex pp)
