Gc.Memprof(3o) on Linux

The text 2a8e8ff0ce18, as Debian 13 (Trixie) shipped it.

Memprof is a profiling engine which randomly samples allocated memory words.

Gc.Memprof(3o) on Linux now