The text 158ce3d11cb5, as Debian 12 (Bookworm) shipped it.
the options infrastructure
options(3cvc) on Linux now
