try to reuse coverage infrastructure: