The text f8e9243e4057, as Debian 12 (Bookworm) shipped it.
Preprocess Verilog code assertions
vpassert(1p) on Linux now
