The text 00848334d40c, as Debian 13 (Trixie) shipped it.
the options infrastructure
options(3cvc) on Linux now