The text a155bf78b2ce, as Debian 11 (Bullseye) shipped it.
Returns mul_hi(a, b) + c.
mad_hi(3clc) on Linux now
