(library
  (name bitvec)
  (public_name bitvec)
  (wrapped false)
  (libraries zarith))