Yes, I think that's a very reasonable approach.

We could also just assume that they're known, and set a flag and blow away the jit cache as soon as we detect that prefixes are unknown at the *end* of a block :)