non-deterministic branching on return code (SUCCESS/ERROR)