Yes, this worked like a charm, both in my repro script and [in the full application](https://github.com/mlin/gfabase/actions/runs/897285548). With the hint, the bytecode no longer uses SeekScan -- one more piece of evidence pointing in that direction. Thank you!!