public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }
public void pushBack(int n) { yypushback(n); }