Ephemeron.SeededS(3o) on Linux

The text 9aa9759cbca7, as Debian 11 (Bullseye) shipped it.

The output signature of the functor Ephemeron.K1.MakeSeeded and Ephemeron.K2.MakeSeeded.