model: shared_determinism
bye
<non-deterministic>
