(library
 (name exo2)
 (public_name tp7))