The text 09b292dd02ae, as Debian 4.0 (Etch) shipped it.
Input signature of the functor Map.Make.
Map.OrderedType(3o) on Linux now
