/sys$common/syshlp/HELPLIB.HLB  —  Sys Files, [SYSUPD]  KRB$REMOVE.COM

   Dummy PCSI Kerberos removal command procedure