int nondet(); void ex_paper1(int i,int n,int fwd){ while(0<i && i<n){ if(fwd>0) ++i; else --i; } }
content may be truncated. 'popout' for larger text window.