static string mkInnerParams(int i) { if (i <= 0) return ""; if (i == 1) return "P0"; else return mkInnerParams(i - 1) + ", " + "P" + (i - 1); }