/*
For performance reasons, standard output is buffered. The write completes
but it is only writing to memory.
If you want it to actually display to the user, you have to trigger a flush.
This can be done either by writing a newline, or by doing it explicitly:
*/