SimpleSingle(int n) x := 0; while (x < n) if (*) x := x + 1; else x := x + 1;