/* **************************** Public C interface *************************** */
void simgrid_init(int* argc, char** argv)
{
/* **************************** Public C interface *************************** */
void simgrid_init(int* argc, char** argv)
{