Only in kerbnet-1.2/krb524: k524init.M
Only in kerbnet-1.2/krb524: krb524d.M
