set_seed didn't divide state length by size of int