with the *extrem* requirement of the state_machine in mind), and you
can only rely on SIMIX. From SIMIX, you can only use simcalls (ie, the
simcall_* functions). Moreover, you must know that each blocking
with the *extrem* requirement of the state_machine in mind), and you
can only rely on SIMIX. From SIMIX, you can only use simcalls (ie, the
simcall_* functions). Moreover, you must know that each blocking