The text 07f36043e047, as Debian 4.0 (Etch) shipped it.
list Kerberos credentials
-f
klist(1) on Linux now
