#ifndef __timer_t_defined
#define __timer_t_defined 1
#include <bits/types.h>
/* Timer ID returned by `timer_create'. */
typedef __timer_t timer_t;
#endif