#include <oskit/dev/clock.h>
const oskit_iid_t oskit_clock_iid = OSKIT_CLOCK_IID;