sealed interface I {}