vstack.pop();
rhs_size = production_tab[(-act)-1][1]; for (int i = 0; i < rhs_size; i++) vstack.pop();
rhs_size = production_tab[(-act)-1][1]; for (int i = 0; i < rhs_size; i++) vstack.pop();
rhs_size = production_tab[(-act)-1][1]; for (int i = 0; i < rhs_size; i++) vstack.pop();
vstack.pop();
vstack.pop();
vstack.pop();
vstack.pop();
vstack.pop();
vstack.pop();
vstack.pop();