PID_STR_LEN
new_inst_file = s_malloc(inst_strlen + PID_STR_LEN + 2);
old_inst_file = s_malloc(inst_strlen + PID_STR_LEN + 6);
(void) snprintf(new_inst_file, inst_strlen + PID_STR_LEN + 2,
(void) snprintf(old_inst_file, inst_strlen + PID_STR_LEN + 6,