code coverage, #4