It is hard to know the function:
void read(char *buf, int n): the buf is the target string, and n is the ideal number to read
int read4(char *buf): return the bytes it read and put the char to buf.

So very time just read the buffer and output the total result