結果 : non deterministic process example