TYPE IntRef = REF INTEGER;

VAR intref := NEW(IntRef);

intref^ := 10