pub const ENCODING_ENC_RETAA_64E_BRANCH_REG: ENCODING = 1200;