int nondet(); int nd_loop(){ int x,y; x=0; do { y=x; x=nondet(); if ((x-y>2) || (x-y<1)) break; } while(x<10); return 0; }
content may be truncated. 'popout' for larger text window.