#include "xbt/sysdep.h"
#include "xbt/strbuff.h" /* For dynamic version when the static one fails */
#include "xbt/log_private.h"
#include "xbt/sysdep.h"
#include "xbt/strbuff.h" /* For dynamic version when the static one fails */
#include "xbt/log_private.h"
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) ",
/* Display the date */
len = snprintf(p, rem_size, "%f] ",
/* Display the date */
len = snprintf(p, rem_size, "%f] ",