#next	Prime::Generator23#next
#rewind	Prime::Generator23#rewind
#succ	Prime::Generator23#next
