The Paradox of Function Header Comments. - Arthur Oxenhorn; Almog Mor; Uri Stern; Dror G. Feitelson (CoRR, 2024)