kcov 32 -> 33