namespace name {

  interface I {
    enum Bool {f,t};
    in Bool e();
    out void a();
    behaviour {
      on e: {a;reply(Bool.t);}
    }
  }

  component space {
    provides I i;
    behaviour {
      I.Bool state = I.Bool.t;
      on i.e(): {i.a();reply(I.Bool.t);}
    }
  }

}