The text c4f25d8316c9, as Debian 7 (Wheezy) shipped it.
API function
shishi_kdcrep_to_file(3) on Linux now
