interface ServerRequest {
   readonly attribute CORBA::Identifier operation;
   void arguments(inout CORBA::NVList nv);
   CORBA::Context ctx();
   void set_result(in Any value);
   void set_exception(in Any value);
};