from Final
StartIndex: LabelCCIndex;
EndIndex: CCIndex;
DidSomething: BOOL;
UnthreadJump: PROC [c: JumpCCIndex];
UCjump: PROC [c: CCIndex] RETURNS [BOOL];
CodeJumpDist: PROC [jDist: INTEGER, l: [0..7], c: JumpCCIndex];
from DJumps
FillInPCEstimates: PROC;
BindJump: PROC [min, max: INTEGER, c: JumpCCIndex] RETURNS [bindable: BOOL];
CodeJump: PROC [nbytes: INTEGER, c: JumpCCIndex];
}.