7 ms·That's what (4) is for. Time out after some duration.by curryhoward 3y agoThat's what (4) is for. Time out after some duration.