The text 5707ab34c9d1, as Debian 7 (Wheezy) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
