public class example2 {
  public static int doit(int a) {
    assert (a>=0) : "a=" + a;
    return a+1;
  }

  public static void main(String[] args) {
    System.out.println("doit(3)=" + doit(3));
    System.out.println("doit(-1)=" + doit(-1));
  }
}