The text 94263dab84b9, as Debian 12 (Bookworm) shipped it.
Use a parameter to set the value of a pin
constant(9) on Linux now
