default interface irrelevant-name {
  a-name: func()
}