type A interface {
    B
    x()
}
type B interface {
    C
    y()
}
type C interface {
  A()
}