The text ef431af81bec, as Debian 3.1 (Sarge) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
