4 ms·

Checkerframework does this well.