(executable
 (name pp))
