interface ns.hello_interface_namespace
{
  in void hello();
  in void world();

  behaviour
  {
    bool idle = true;
    [idle] {
      on hello: idle = false;
      on world: illegal;
    }
    [!idle] {
      on hello, world: illegal;
    }
  }
}