import java.util.Hashtable;
import Jakarta.util.Util2;
import java.io.*;
public class program {
public void harvestLocalIds() {
AST_Class c = ( AST_Class ) arg[2].arg[0];
if ( c != null )
c.harvestLocalIds();
}
public void mangleLocalIds( int stage ) {
AST_Class c = ( AST_Class ) arg[2].arg[0];
if ( c != null )
c.mangleLocalIds( stage );
}
}