The text 109081f7cf59, as Debian 10 (Buster) shipped it.
Preprocess Verilog code assertions
vpassert(1p) on Linux now
