(library
 (name celeritas))