dummy_seed: 1;