Symbol: enable_reg_and