1#include <config.h>
2#define _GL_STAT_TIME_INLINE _GL_EXTERN_INLINE
3#include "stat-time.h"
4