static std::unordered_map<std::string, std::queue<ReplayAction*>*> action_queues;
XBT_PUBLIC_DATA(std::ifstream*) action_fs;
-XBT_PUBLIC(bool) replay_is_active();
-XBT_PUBLIC(void) replay_init();
-XBT_PUBLIC(void) replay_exit();
XBT_PUBLIC(int) replay_runner(int argc, char* argv[]);
}
}