HashTable<const ModelAction *, const ModelAction *, uintptr_t, 4 > badrfset;
HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
SnapVector<action_list_t> threadlists;
HashTable<const ModelAction *, const ModelAction *, uintptr_t, 4 > badrfset;
HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
SnapVector<action_list_t> threadlists;