MAX_BTF_FILES
if (nr_files >= MAX_BTF_FILES) {
p_err("too many BTF files (max %d)", MAX_BTF_FILES);
const char *files[MAX_BTF_FILES];