- /* Next transition to explore for this communication
- *
- * Some transitions are not deterministic such as:
- *
- * * waitany which can receive different messages;
- *
- * * random which can produce different values.
- *
- * This variable is used to keep track of which transition
- * should be explored next for a given simcall.
- */
- int req_num = 0;
-