(library
  (name exo2)
  (modules exo2)
)
(library
  (name exo5)
  (modules exo5)
)
(library
  (name exo9)
  (modules exo9)
)
(library
  (name exo10)
  (modules exo10)
)