interface ifreply
{
  enum Status { Ok, Nok };
  in Status e();

  behaviour
  {
    [true]
      on e:
      {
        if (true) {}
        reply (Status.Ok);
      }
    [true]
      on e:
      {
        if (true) {}
      }
  }
}