more gcov debugging