Symbol: gen_branch_or_nop