Files
etcd/tests/robustness/model/deterministic.go