+ (xbt)
+ * Add xbt_os_time(). As the rest of xbt/portability, this is not public
+ for users. Instead, each programming environment (GRAS, MSG,...) use it
+ when needed to provide such a feature to users.
+ Don't shortcut the mecanism or you will also shortcut the virtualization
+ you need on the simulator.