8 ms·

True, e.g. whatever happened to SRI/Kestrel Specware?