/* Automatically generated header! Do not edit! */

#ifndef _INLINE_TIMER_H
#include <inline/timer.h>
#endif /* !_INLINE_TIMER_H */