} s_gras_timer_t, *gras_timer_t;
/* returns 0 if it handled a timer, or the delay until next timer, or -1 if no armed timer */
} s_gras_timer_t, *gras_timer_t;
/* returns 0 if it handled a timer, or the delay until next timer, or -1 if no armed timer */