pub const ENCODING_ENC_BRAB_64P_BRANCH_REG: ENCODING = 98;