The text 67150fb610a3, as Debian 4.0 (Etch) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
