(executable
 (name foo)
 (public_name foo))
