Writes a string to stdout, appended with a newline.
int puts(String str) { stdioWriteln(str); return 1; // Returns non-negative value on success }