CACHE_FILENAME_LEN
CACHE_FILENAME_LEN,
CACHE_FILENAME_LEN,
static char ccache_name_buf[CACHE_FILENAME_LEN];
static char ccache_name_buf[CACHE_FILENAME_LEN];
snprintf(ccache_name_buf, CACHE_FILENAME_LEN, "/tmp/krb5cc_%d",