if (procname && strcmp(procname,"maestro")) {
len = snprintf(p, rem_size, "%s:%s:(%d) ", sg_host_self_get_name(), procname, xbt_getpid());
check_overflow(len);
if (procname && strcmp(procname,"maestro")) {
len = snprintf(p, rem_size, "%s:%s:(%d) ", sg_host_self_get_name(), procname, xbt_getpid());
check_overflow(len);