int nondet(); int speedSingleSingle(int n) { int x; x=0; while (x0) x++ ; else x++; } return 0; }