kcov 41 -> 42