mad_sat(3clc) on Linux

The text 945f41ea3873, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Returns a*b+c and saturates the result.

mad_sat(3clc) on Linux now