The text 2d020aebce13, as Debian 11 (Bullseye) shipped it.
Returns a*b+c and saturates the result.
mad_sat(3clc) on Linux now
