(executable (public_name foo))
