Symbol: continue_at_nobarrier