Print a string using the default mechanism for this platform.
@override void defaultPrint(String s) { io.stdout.write(s); }