4 ms·

Otherwise you’d give up having types and linters because god forbid they might prove a program will halt!