realSYsolve(3) on Linux

The text 5674d0ec119d, as Debian 11 (Bullseye) shipped it.

real

realSYsolve(3) on Linux now