static string mkParamDoc(int i)
{
if (i == 0) return "\r\n";
if (i == 1) return " ///<param name=\"p0\"> argument 0 of type <c>P0</c>.</param>\r\n";
else return mkParamDoc(i - 1) + " ///<param name=\"p" + (i - 1) + "\"> argument " + (i - 1) + " of type <c>P" + (i - 1) + "</c>.</param>\r\n";
}