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