import java.util.Hashtable;
import java.util.Vector;
import Jakarta.util.FixDosOutputStream;
import java.io.*;
// all harvested info on transitions, states are instances of contInfo
abstract class contInfo
implements Serializable, printTruncObject {
public boolean inherited; // is object inherited
// from previous run?
abstract public void print();
abstract public void truncate();
}