(executable
  (public_name exo1)
  (name exo1))
(executable
  (public_name exo2)
  (name exo2))
(executable
  (public_name exo3)
  (name exo3))
(executable
  (public_name exo4)
  (name exo4))
(executable
  (public_name exo5)
  (name exo5))