# CONFIG_KCOV is not set