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