static interface IRef extends IF0 { }