int nondet();
void ex_paper1(int i,int n,int fwd){

 while(0<i && i<n){
   if(fwd>0)
     ++i;
   else
     --i;
 }
  
   
}