kcov 31 -> 32