pub const ENCODING_ENC_NGC_SBC_32_ADDSUB_CARRY: ENCODING = 1132;