ccErrContextUnlocked
case ccErrContextUnlocked:
ccErrContextUnlocked);
check_int(ccErrContextUnlocked , 215); // 215
{ ccErrContextUnlocked, KRB5_FCC_INTERNAL },