use _GL_ATTRIBUTE_CONST and _GL_ATTRIBUTE_PURE
[pspp] / lib / close-stream.h
1 #include <stdio.h>
2 int close_stream (FILE *stream);