pure interface of class StdOut

public class StdOut
  extends Printer
{
    public void printRawString(String s);
    public StdOut();
}