(library
 (name fw)
 (wrapped false)
 (libraries yojson z3)
 (flags (:standard -w -33 -w -27)))
