(library
 (name aoo)
 (libraries zarith)
 )