(executable
 (public_name foo))
