Obsolete playing_random state