char* echo(char* text) { return text; }