#ifndef COMMON_H
#define COMMON_H
#include <inttypes.h>
+typedef uint32_t uint;
+#define CMEMALLOC ;
+#define model_print printf
+#include "hashset.h"
+#include "vector.h"
+#include "array.h"
+
+
+class TimingSingleton;
class Abort;
class Entry;
class Slot;
class ByteBuffer;
class Liveness;
-
+class Commit;
+class CommitPart;
+class ArbitrationRound;
+class KeyValue;
+class RejectedMessage;
+class PendingTransaction;
+class CloudComm;
+class IoTString;
+class LastMessage;
+class LocalComm;
+class NewKey;
+class SlotBuffer;
+class SlotIndexer;
+class Table;
+class TableStatus;
+class ThreeTuple;
+class TimingSingleton;
+class Transaction;
+class TransactionPart;
+class TransactionStatus;
#endif