benchmark_xl(1) on Linux

The text 3b86535b09fb, as Debian 12 (Bookworm) shipped it.

benchmark_xl

benchmark_xl(1) on Linux now