(library
 (name a_default)
 (public_name a.default-impl)
 (implements a))
