interface IConsole {

  public int getMaxSize();
  @post{ getMaxSize > 0 }

  public void display(String s );
  @pre{s.length() < getMaxSize()}

}