(library
 (name a)
 (public_name a2))