type Ref is not null access A;
