source: doc/theses/rob_schluntz_MMath/examples/intro/ires.java

public interface ires {
        public void write(String filename, String msg) throws Exception;
}