REF <type>
<type> can be any type, even a reference type. This specifies a reference (pointer) to a value of type <type>. For example:
TYPE IntPtrType = REF INTEGER; (* A pointer to an integer *) ArrPtrType = REF ARRAY [1..5] OF CHAR; (* A pointer to an array *)