Mention that process_wait() can be changed to an infinite loop