Writes text bytes into the terminal stream.
void write(String text, {Encoding encoding = utf8}) { writeBytes(encoding.encode(text)); }