3 ms·

Thanks for the correction. I often recognize when bashisms are bashisms, but I didn't realize that was.