remove_principal
(void) remove_principal(keytab_str, keytab, argv[0], argv[1]);
static int remove_principal(char *keytab_str, krb5_keytab keytab, char