save_number
(save_number) (TPARM_STATE *tps, const char *fmt, int number, int len) {
save_number(tps, fmt, number, len);
save_number(tps, ", %d", (int) data->param[i], 0);
save_number(tps, TPS(fmt_buff), x, len);