void run() { GTIDtest(); testGTIDManager(); simulateElectionRelatedStuff(); }
void run() { GTIDtest(); testGTIDManager(); }