2 ms·

This won't work since you also need to track the maximum number of stack frames (e.g recursive calls) which is undecidable.