(executables
 (names x y))
