Diagnostics from MySealedInterface.kt:
  <NO DIAGNOSTICS>

Diagnostics from main.kt:
  <NO DIAGNOSTICS>
