The text e11c617c5f17, as Debian 5.0 (Lenny) shipped it.
Input signature of the functor Map.Make.
Map.OrderedType(3o) on Linux now
