interface ihello {
  in void hello();
  behaviour {
    on hello: {}
  }
}

interface iworld {
  in void hello();
  out void world();
  behaviour {
    on hello: world;
  }
}

component hello_synchronous_livelock {
  provides ihello h;
  requires iworld w;

  behaviour {
    on h.hello(): w.hello();
    on w.world(): w.hello();
  }
}