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