Symbol: enable_reg_or