public sealed interface permits