The text 6d70303ed9af, as Debian 9 (Stretch) shipped it.
Input signature of the functor Map.Make.
Map.OrderedType(3o) on Linux now
