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