int recebeNovidades(int *myState, int *otherState, int n, int informante);
int executeTest(int token, int n);
void testHandler(int token, int n);
void faultHandler(int token, int n);
void repairHandler(int token, int n);
void broadcastHandler(int token, int n);
int lg(int n);