pub const ENCODING_ENC_ERET_64E_BRANCH_REG: ENCODING = 242;