Runtime: fix non-interleaved worker loop

2023-10-02, Edouard Tisserant