XBT_PUBLIC(int) gras_os_getpid(void);
# define MAYDAY_SAVE(m) printf("%d %s:%d save %p\n", \
gras_os_getpid(),__FILE__,__LINE__, \
XBT_PUBLIC(int) gras_os_getpid(void);
# define MAYDAY_SAVE(m) printf("%d %s:%d save %p\n", \
gras_os_getpid(),__FILE__,__LINE__, \