+ /** Create a new session by executing the provided code in a fork()
+ *
+ * This sets up the environment for the model-checked process
+ * (environment variables, sockets, etc.).
+ *
+ * The code is expected to `exec` the model-checked application.
+ */
+ explicit Session(const std::function<void()>& code);
+