185a186,188
> // Nonstandard
> bool timed_out();
>
244a248,250
> // Nonstandard
> bool timed_out();
>