The text 3000d8ee1d2f, as Debian 1.2 (Rex) shipped it.
Create and manipulate tixControl widgets
Control(3tix) on Linux now
