(library
 (name agate))