1#ifndef __timer_t_defined
2#define __timer_t_defined 1
3
4#include <bits/types.h>
5
6/* Timer ID returned by `timer_create'. */
7typedef __timer_t timer_t;
8
9#endif
10