Symbol: KCOV_BUF_MAX_NMEMB