3 ms·

The halting problem doesn't apply.