MODULE a
	EXPORTS Main;

	TYPE b = BRANDED "string" REF INTEGER;
	TYPE d = BRANDED "string" REF INTEGER;

VAR a: b;
    c: d;
BEGIN
      a := c;
END a.