int nondet(); int speedNestedMultiple(int x,int n,int y,int m) { while (x0) y++ ; x++; }; return 0; }