class Console implements IConsole{
  public int myMaxSize;

  public Console() {
    myMaxSize = 0;
  }

  public Console(int initSize){
    myMaxSize = initSize;
  }
  public int getMaxSize(){
    return myMaxSize;
    @post{getMaxSize > 0}
  }
  public void display(String s) {
    @pre{s.length() < getMaxSize()}
    System.out.println(" **** DISPLAY : "+ s);
  }
}