public PythonTuple getstate() { object[] state; lock (this) { state = _rnd.GetState(); } return(PythonTuple.MakeTuple(state)); }