timeout

Terminate execution after timing out (number of milliseconds).