(library (name dnstoy))