Diff kcov-40 with a kcov-9999

Thank you!