+
+ /** execute the pending simcall -- must be called from the maestro context */
+ void simcall_handle(int value);
+ /** Terminates a simcall currently executed in maestro context. The actor will be restarted in the next scheduling
+ * round */
+ void simcall_answer();