pr " for (i = 0; i < r->len; ++i) {\n";
pr " r->val[i].pv_name = malloc (16);\n";
pr " snprintf (r->val[i].pv_name, 16, \"%%d\", i);\n";
pr " for (i = 0; i < r->len; ++i) {\n";
pr " r->val[i].pv_name = malloc (16);\n";
pr " snprintf (r->val[i].pv_name, 16, \"%%d\", i);\n";