code coverage, #3