Hashtbl.MakeSeeded(3o) on Linux

The text 5755d424bf0b, as Debian 12 (Bookworm) shipped it.

Functor building an implementation of the hashtable structure.

Hashtbl.MakeSeeded(3o) on Linux now