(* Test: address subtraction *)

UNSAFE MODULE Main;

VAR
  a, b: UNTRACED REF CHAR;
  i: INTEGER;

BEGIN
  i :=  a - b;
END Main.