type Safe_Int_Access is not null access Integer;