interface Int { }