#include <list>
#include <map>
+#include <vector>
#include <cstddef>
#include <ucontext.h>
#include "schedule.h"
+#include "mymemory.h"
+#include <utility>
#include "libthreads.h"
#include "libatomic.h"
#include "threads.h"
int switch_to_master(ModelAction *act);
bool next_execution();
+
+ MEMALLOC
private:
int next_thread_id;
int used_sequence_numbers;