https://willcrichton.net/nota/#def-sec-funcalls
However, our goal is to avoid using the definition of f (i.e. a whole-program analysis) for the reasons described in Section 1.
Clicking "section 1" scrolls to section 1 of the outer paper, but should scroll to section 1 of the inner paper
https://willcrichton.net/nota/#def-sec-funcalls
Clicking "section 1" scrolls to section 1 of the outer paper, but should scroll to section 1 of the inner paper