#ifndef MC_SERVER_H
#define MC_SERVER_H
+#include <poll.h>
+
#include <stdint.h>
#include <stdbool.h>
void MC_server_wait_client(mc_process_t process);
void MC_server_simcall_handle(mc_process_t process, unsigned long pid, int value);
+void MC_server_loop(mc_server_t server);
+
SG_END_DECL()
#ifdef __cplusplus