model: determinism_async
h.hello
h.return
<non-deterministic>
