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