Symbol: KRB5_INT32_MIN