The text 8edabe2fb29a, as Debian 10 (Buster) shipped it.
Returns mul_hi(a, b) + c.
mad_hi(3clc) on Linux now
