1  #include <config.h>
       2  #define _GL_SYS_SOCKET_INLINE _GL_EXTERN_INLINE
       3  #include "sys/socket.h"
       4  typedef int dummy;