(library
 (name atdts)
 (libraries re atd))
