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