(library
 (name criterion)
 (libraries zarith yojson))
