3 ms·

Indeed. And the current generation of error messages is much improved, so clearly it was possible to do better.