kcov 35 -> 36