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