Handling of IRSBs that don't begin with an IMark.

For now we just rewrite the prefix verbatim. I don't understand
what causes such IRSBs to be emitted.