The text cda60360e1b2, as Debian 12 (Bookworm) shipped it.
floating-point multiply and add
fmal(3) on Linux now
