Write a string plus a linefeed to output in the compiler's encoding.
void writeln([String? str]) { if (str != null) write(str); write("\n"); }