Unrolling the `execution->advance()` algorithm