close-stream.h revision 7e7bd3dccbfe8f79e25e5c1554b5bc3a9aaca321
#include <stdio.h>
int close_stream (FILE *stream);