Symbol: add_reg_from