error: component determinism_hello_world_external is non-deterministic
model: determinism_hello_world_external
h.hello
<non-deterministic>
