Symbol: BRANCH_HALT_ENABLE