Support for code coverage