set gcov_verify_branches 1
set gcov_verify_calls 1
return 0