Round-six lemma `qLoop_run`