interface Echo {
	Echo echoString(in string astring, out double anum);
};