#include <stdio.h>

void setlinebuffering()
 { setlinebuf(stdout);  /* set line buffering mode: flush buffer at eoln */
 }