(library
  (name domains)
  (wrapped false)
  (libraries libs zarith frontend)
  (flags -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 ))