4 ms·

I agree that micro benchmarks are kind of useful in spotting anomalous, bad performance in the very simplest of cases.