Title: Extensional Gödel functional interpretation