+ /** Execute the simcall, from the kernel POV.
+ *
+ * Most of the time, this action is in charge of doing what the perf models would have done if not in MC mode.
+ * For example, if it's a random(), choose the value to explore next. If it's a waitany, choose the terminated
+ * communication to consider now.
+ */
+ virtual void fire();
+