Document return value of event_waitTimeout()