69a70,72
> // Nonstandard.
> bool timed_out();
>