int nondet(); void nestedLoop(int n, int m, int N){ int i, j, k; if(0<=n && 0<=m && 0<=N){ i = 0; while(nondet()>0 && i0 && j0 && k