var_pop::=