The text c251a6b047c7, as Debian 11 (Bullseye) shipped it.
Key name values for osx
virkeyname-osx(7) on Linux now