(executable
 (name p)
 (public_name p))

(rule (with-stdout-to file (run ./p.exe)))
