The text f10148000427, as Debian 11 (Bullseye) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now