quieted gcov 4