(library
 (name a)
 (public_name a1))
