-double gras_os_time(void);
-
-/**
- * gras_os_sleep:
- * @Param1: number of seconds to sleep
- * @Param2: number of microseconds to sleep
- *
- * sleeps for the given amount of time.
+#define gras_os_time() xbt_time()
+/** @brief sleeps for the given amount of time.
+ * @param sec: number of seconds to sleep
+ */
+#define gras_os_sleep(sec) xbt_sleep(sec)
+/** @brief get the fully-qualified name of the current host
+ *
+ * Returns the fully-qualified name of the host machine, or "localhost" if the name
+ * cannot be determined. Always returns the same value, so multiple calls
+ * cause no problems.
+ */
+XBT_PUBLIC(const char *)
+gras_os_myname(void);
+
+/** @brief returns the number on which this process is listening for incoming messages */
+XBT_PUBLIC(int) gras_os_myport(void);
+
+/** @brief get the uri of the current process
+ *
+ * Returns the concatenation of gras_os_myname():gras_os_myport(). Please do not free the result.
+ */
+XBT_PUBLIC(const char *)
+gras_os_hostport(void);
+
+/** @brief get process identification
+ *
+ * Returns the process ID of the current process. (This is often used
+ by routines that generate unique temporary file names.)