#include <gras/messages.h>
#include <gras/timer.h>
XBT_PUBLIC(void) gras_init(int *argc, char **argv);
XBT_PUBLIC(void) gras_exit(void);
#include <gras/messages.h>
#include <gras/timer.h>
XBT_PUBLIC(void) gras_init(int *argc, char **argv);
XBT_PUBLIC(void) gras_exit(void);