added flush() to print.h