// example_echo.idl
module Example {
  interface Echo {
    string echoString(in string mesg);
  };
};