Symbol: branch_displacement