1#include <config.h>
2#define XTIME_INLINE _GL_EXTERN_INLINE
3#include "xtime.h"
4