// begin work on coverage computation