(library
 (name a2)
 (public_name a.2))
