// Messenger.idl interface Messenger { boolean send_message(in string user_name, in string subject, inout string message); };