+ std::unique_ptr<RemoteProcess> remote_process_;
+ Exploration* exploration_ = nullptr;
+
+ // Expect MessageType::SIMCALL_TO_STRING or MessageType::SIMCALL_DOT_LABEL
+ std::string simcall_to_string(MessageType type, aid_t aid, int times_considered);