The text 9ce2cf3a3ec8, as Debian 11 (Bullseye) shipped it.
Returns x - y and saturates the result.
sub_sat(3clc) on Linux now
