void received_reply ( in CosTSPortability::ReqId id, in CosTransactions::PropagationContext ctx, in short env );
void sending_request ( in CosTSPortability::ReqId id, out CosTransactions::PropagationContext ctx );