(executable
 (public_name exec))
