(executable
 (public_name an_executable))
