void writeln(string);