bool handle_events();
void wait_client(simgrid::mc::Process& process);
void simcall_handle(simgrid::mc::Process& process, unsigned long pid, int value);
bool handle_events();
void wait_client(simgrid::mc::Process& process);
void simcall_handle(simgrid::mc::Process& process, unsigned long pid, int value);