dottest runs, and does not leak!