The text 71e990f6d297, as Debian 10 (Buster) shipped it.
Returns x - y and saturates the result.
sub_sat(3clc) on Linux now
