import java.io.*;

public interface Dumpable {
  public void write(DataOutputStream dos) throws IOException;
}