/* returns 0 if it handled a timer, or the delay until next timer, or -1 if no armed timer */
XBT_PUBLIC double gras_msg_timer_handle(void);
/* returns 0 if it handled a timer, or the delay until next timer, or -1 if no armed timer */
XBT_PUBLIC double gras_msg_timer_handle(void);