ejemplo9 code coverage