The text 72dc4f6ff317, as Debian 6.0 (Squeeze) shipped it.
list Kerberos credentials
-f
klist(1) on Linux now
