@Test
public void testShortName() throws Throwable {

  kdiag(ARG_KEYLEN, KEYLEN,
          ARG_KEYTAB, keytab.getAbsolutePath(),
          ARG_PRINCIPAL,
          ARG_VERIFYSHORTNAME,
          ARG_PRINCIPAL, "foo@EXAMPLE.COM");
}