The text 095b31411e9c, as Debian 3.1 (Sarge) shipped it.
verifies if a principal can log in as a user
krb5_kuserok(3) on Linux now