Symbol: _kdc_encode_reply