The text ae7ddf1e7d61, as Debian 13 (Trixie) shipped it.
Auxiliary type for reporting syntax errors
Syntaxerr(3o) on Linux now
