Use assig_to_pvar