int nondet(); void t62(int l, int h) { if (l>= h) return; for (;;) { do { l++; } while (l0); do { h--; } while (l0); if (l >= h) break; } }