The text 9ee201655108, as Debian 3.1 (Sarge) shipped it.
Get the integer value of a string.
tixGetInt(3tix) on Linux now
