(executable
 (name prog))
