The text 603b7318add3, as Debian 7 (Wheezy) shipped it.
Functions for Manipulating Sets of Sets
sofs(3erl) on Linux now
