#include <stdio.h>
#include "simgrid_config.h"
#include "jedule_events.hpp"
#include "jedule_platform.hpp"