Notes on stdout, comment out fflush for now