sub_sat(3clc) on Linux

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

Returns x - y and saturates the result.

sub_sat(3clc) on Linux now