// A loop on a measured bit as an exporter writes it, with no bound: it is not
// known to end, so the reader asks for `@wai.max_iterations N`.
OPENQASM 3.0;
include "stdgates.inc";
bit[1] c;
qubit[1] q;
h q[0];
c[0] = measure q[0];
while (c[0] == false) {
  h q[0];
  c[0] = measure q[0];
}