interface krb5pac
{
  [encode] PAC_LOGON_INFO_Encode();
  [decode] PAC_LOGON_INFO_Decode();
}