The text 9cc72ae8b473, as Debian 13 (Trixie) shipped it.
floating-point multiply and add
fma(3) on Linux now
