#include <oskit/dev/osenv_timer.h>
const oskit_iid_t oskit_osenv_timer_iid = OSKIT_OSENV_TIMER_IID;