pub const ENCODING_ENC_RET_64R_BRANCH_REG: ENCODING = 1202;