#include "unify.h"
int Await_with_Timeout(int event_id, int count, struct timeval *timeout);
Await_with_Timeout(3) blocks the calling process until the event counter
referenced by event_id reaches a value of at least
count or the specifies timeout expires.
count may be exceeded by the time the
process calling Await_with_Timeout(3) unblocks. If unblocking was caused by the timer expiring then the return value can be less than the specified count.
Await_with_Timeout(3) returns the new value of the event counter upon
unblock. Otherwise, a value of -1 is returned.