(* Test: using a revealed opaque type *)

MODULE Test;

REVEAL
  T = BRANDED "T" REF CHAR;

VAR
  t : T;

BEGIN
  t := NEW (T);
  t^ := 'a';
END Test.