The text 7500127b9dc2, as Debian 3.1 (Sarge) shipped it.
decompose a principal
krb5_principal_get_realm(3) on Linux now