It's a little redundant, admittedly, but I include not the same function, but just its prototype, as I say in the comment here.

它确实是有点长的，但是我包含的不是同一个函数，而只是一个原型，就像我这里的注释所说的。

哈佛公开课 - 计算机科学课程节选

You've added a redundant 's.' It's not appropriate."

你多加了一个's',这是不对的"

耶鲁公开课 - 心理学导论课程节选