Reads a character from stdin.
int getchar() { final charCode = stdioReadByteSync(); return charCode; }