+
+/*
+ * Time elapsed since the beginning of the simulation.
+ */
+double xbt_time()
+{
+ /* FIXME: check if we should use the request mechanism or not */
+ return SIMIX_get_clock();
+}
+
+/*
+ * Freeze the process for the specified amount of time
+ */
+void xbt_sleep(double sec)
+{
+ simcall_process_sleep(sec);
+}
+
+const char *xbt_procname(void)
+{
+ return SIMIX_process_self_get_name();
+}