- action_list_t *action_trace;
- HashTable<int, Thread *, int> *thread_map;
-
- /** Per-object list of actions. Maps an object (i.e., memory location)
- * to a trace of all actions performed on the object. */
- HashTable<const void *, action_list_t *, uintptr_t, 4> *obj_map;
+ action_list_t * const action_trace;
+ HashTable<int, Thread *, int> * const thread_map;