Code Editor : rand_batched.go