sealed interface permits