  PROCEDURE [XREF] jmp$recognize_thrashing;

