let flush = print_flush