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