DEFINITION MODULE TOpaquePtr;
TYPE T;
TYPE P = POINTER TO T;
VAR p : P;
END TOpaquePtr.