int __usat(int val, unsigned sat);
__usat inserts a USAT instruction. __usat returns val saturated to the unsigned range of sat where sat is a compile time constant.