The text b7724bbda469, as Debian 3.0 (Woody) shipped it.
manipulate sets of integers
iset(3pub) on Linux now
