Symbol: KRB5_ALPHA