Symbol: branch_target