Symbol: KRB5_INT32_MAX