The text adf8a8fc5a12, as Debian 4.0 (Etch) shipped it.
Functions for Manipulating Sets as Ordered Lists
ordsets(3erl) on Linux now
