Worker E's 0x8007F9B0 was recorded as '8 bytes short' and the cause was a transcription error:
it had written TWO dereference levels where the original has THREE. The deficit is exactly the
missing lw plus its load-delay nop = 2 instructions = 8 bytes.
The diagnostic: a body exactly TWO instructions short, where the original has one more lw in a
pointer chain, is a MISSING DEREFERENCE LEVEL -- not a missing statement. Recompute the chain
from the displacements.
And the distinction matters: finding 149 is for bodies short by missing nops around INDEPENDENT
BLOCKS; this is short by a missing LOAD. Two different causes with the same 4-8 byte signature.
Christopher Williams
0116fa5685