interface icruelhelloworld
{
  in void hello ();
  in void cruel ();
  out void world ();
  behavior
  {
    bool idle = true;
    on cruel: idle = true;
    [idle] on hello: idle = false;
    [!idle] on inevitable: {
      idle = true;
      world;
    }
  }
}
component hello_defer
{
  provides icruelhelloworld h;
  behavior
  {
    bool idle = true;
    on h.cruel (): idle = true;
    on h.hello (): {
      idle = false;
      defer {
        idle = true;
        h.world ();
      }
    }
  }
}