pub const ENCODING_ENC_NGC_SBC_64_ADDSUB_CARRY: ENCODING = 1133;