#include <stdbool.h>
#include <simgrid_config.h>
#include <xbt.h>
#include "xbt/automaton.h"
This is the API used by the user simulated program to communicate with the MC.