#include <stdbool.h> ///< For boolean constants#define BUFF_SIZE 8#define SET_MAX_SIZE 8/// Struct for the edgetypedefstructedge{intu,v;}edge_t;/// Struct for the feedback arc settypedefstructfb_set{boolvalid;edge_tedges[SET_MAX_SIZE];}fb_set_t;/// Struct for the circular buffertypedefstructbuffer{boolterminate;fb_set_tsets[BUFF_SIZE];}buffer_t;staticbuffer_t*circ_buffer;