The text 137a76516bef, as Debian 7 (Wheezy) shipped it.
API function
shishi_realm_for_server_dns(3) on Linux now