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

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

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

America has hollowed out its manufacturing in just the same way as the U.K. before it.

FORBES: The Light Bulb Moment: Lights Out In America?

At times, the company has built a two-story temporary structure in the parking lot in front of the Central Hall just to accommodate its briefing schedule, while at the same time putting together a substantial booth on the floor itself.

FORBES: Parasitic Vendors May Kill Trade Show

It's also because although Germany could probably afford a 50% writedown of what it's owed, given the strength of its economy and public finances (the writedown, excluding the Target2 credit, would be equivalent to just over 1% of its GDP), the same probably can't be said of Spain, Italy or even France (where the writedown costs would also be around 1% of GDP).

BBC: Greece: Euro exit delayed?