The text f64c0d9b7e3e, as Debian 8 (Jessie) shipped it.
floating-point multiply and add
fmal(3) on Linux now
