1 #include <stdio.h>
2 int close_stream (FILE *stream);
3