Title: next_timeout


next_timeout is the expiration time of the next synchronous alarm (i.e., the time at which the next message from the synchronous alarm is scheduled to arrive). Like curr_time, next_timeout is in clock ticks.