public String GetInputFilename() { return ifilename; } /* read new character from input stream */
public void BeginModule() { exe.BeginModule(io.GetInputFilename()); }