documented stdio(except printf.c)