public class Trivial{
   int x=0 ;
   public void inc(){ x++ ; assert x>0 ; }
   public int ouch() { x=0/0; return x ; }
}