+ void start();
+ void shutdown();
+ void resume(simgrid::mc::Process& process);
+ void loop();
+ bool handle_events();
+ void wait_client(simgrid::mc::Process& process);
+ void simcall_handle(simgrid::mc::Process& process, unsigned long pid, int value);
+ void wait_for_requests()