sbcl(1) on Linux

The text 12bbc25c64a4, as Debian 10 (Buster) shipped it.

sbcl(1) on Linux now