procname = xbt_procname();
if (procname && *procname) {
len = snprintf(p, rem_size, "%s:%s:(%d) ",
procname = xbt_procname();
if (procname && *procname) {
len = snprintf(p, rem_size, "%s:%s:(%d) ",
check_overflow(len);
}
else if (!procname) {
len = snprintf(p, rem_size, "%s::(%d) ",
check_overflow(len);
}
else if (!procname) {
len = snprintf(p, rem_size, "%s::(%d) ",
check_overflow(len);
}
/* Display the date */
len = snprintf(p, rem_size, "%f] ",
check_overflow(len);
}
/* Display the date */
len = snprintf(p, rem_size, "%f] ",