
  PROCEDURE [XREF] jmp$internal_error
    (    location: integer);

