The text a851229cd872, as Debian 6.0 (Squeeze) shipped it.
Input signature of the functor Map.Make.
Map.OrderedType(3o) on Linux now
