#include <time.h>
#include <stdio.h>
#include <string.h>
+#include <unistd.h>
#ifdef HOST_WIN32
#include <windows.h>
#else
#endif
}
+uintptr_t
+process_id (void)
+{
+#ifdef HOST_WIN32
+ return 0; /* FIXME */
+#else
+ return (uintptr_t)getpid ();
+#endif
+}
+