very very basic, so far unpleasant, code coverage to html