- bool requests_are_dependent(RemotePtr<kernel::actor::SimcallObserver> obs1,
- RemotePtr<kernel::actor::SimcallObserver> obs2) const;
- std::string request_to_string(smx_simcall_t req, int value) const;
- std::string request_get_dot_output(smx_simcall_t req, int value) const;