model: determinism_interface
hello
world
return
<non-deterministic>
