pub const ENCODING_ENC_RETAB_64E_BRANCH_REG: ENCODING = 1201;