The text 246bfe28775c, as Debian 10 (Buster) shipped it.
Returns a*b+c and saturates the result.
mad_sat(3clc) on Linux now
