-#if SIMGRID_HAVE_STATEFUL_MC
- /* Using deque here is faster in benchmarks, but break the state equality heuristic of Liveness checking on Debian
- * testing. This would desserve a proper investiguation, but simply use a single-sided list for the time being. HACK.
- */
- std::list<CommImplPtr> comm_queue_;
- // messages already received in the permanent receive mode
- std::list<CommImplPtr> done_comm_queue_;
-#else