Symbol: dis_branch