interface ihello { in void hello(); out void world(); behaviour { on hello: world; } } component hello_out_provides { provides ihello h; requires ihello w; behaviour { on h.hello(): w.hello(); on w.world(): h.world(); } }