type Ref is not null access A