(module coverage '#%kernel
  (#%provide coverage)
  (define-values (coverage) (make-hash)))