// echo.idl
interface Echo {
  string echoString(in string mesg);
};