The text 41eab5fc3ba6, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
Returns mul_hi(a, b) + c.
mad_hi(3clc) on Linux now
