#include int timer_getoverrun(timer_t timerid) { return 0; } /* POSIX(199309) LINK(rt) */