+ free(_gras_procdata);
+}
+
+const char *xbt_procname(void) {
+ if(_gras_procname) return _gras_procname;
+ else return "";
+}
+
+int gras_os_getpid(void) {
+#ifdef _WIN32
+ return (long int) GetCurrentProcessId();
+#else
+ return (long int) getpid();
+#endif