The text 0ff3d078756c, as Debian 8 (Jessie) shipped it.
determine maximum of two floating-point numbers
fmaxf(3) on Linux now
