#ifndef __ECHO_IDL__ #define __ECHO_IDL__ interface Echo { string echoString(in string mesg); }; #endif