(executables
 (names foo))
