+ /** Prepare the simcall to be executed
+ *
+ * Do the choices that the platform would have done in non-MC settings.
+ * For example if it's a waitany, pick the communication that should finish first.
+ * If it's a random(), choose the next value to explore.
+ */
+ virtual void arm() {}
+
+ /** Some simcalls may only be observable under some circumstances.