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