Listing 1. EventChannel.idl
module logging { interface LogService { void send(in string str); }; };