(library
 (name eio_progress)
 (libraries eio progress))