

import java.util.Hashtable;
import java.util.Vector;
import Jakarta.util.FixDosOutputStream;
import java.io.*;

// all state, transition objects are printTruncObjects, where a 
// printTruncObject is an object that can be printed and truncated

interface printTruncObject {
    void print();
    void truncate();
}
