(executable (name foo))