Always use seed 0 in defspec.