deterministic lockstep