The text b4f7a8624b2a, as Debian 13 (Trixie) shipped it.
Dynamic loading of .cmo, .cma and .cmxs files.
Dynlink(3o) on Linux now
