UNSAFE MODULE Main;
VAR x: INTEGER;
BEGIN
  EVAL x + LOOPHOLE (ADR (x), UNTRACED REF INTEGER)^;
END Main.