1 #include <config.h> 2 #define BINARY_IO_INLINE _GL_EXTERN_INLINE 3 #include "binary-io.h" 4 typedef int dummy; 5