Constant bad64_sys::ENCODING_ENC_RET_64R_BRANCH_REG

pub const ENCODING_ENC_RET_64R_BRANCH_REG: ENCODING = 1192;