Back to using `System.Timeout.timeout`.