(library
 (public_name res))
