run-with-cover.js