class ModelChecker;
class ModelExecution;
class ModelHistory;
-class Node;
-class NodeStack;
class Scheduler;
class Thread;
class TraceAnalysis;
struct bug_message;
typedef SnapList<ModelAction *> action_list_t;
typedef SnapList<uint32_t> func_id_list_t;
+
+extern volatile int forklock;
#endif