Title: Functional interpretations in elementary proof theory