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