(library
 (name mutex)
 (libraries z3))
