# File lib/backports/1.9.1/stdlib/prime.rb, line 243 def succ raise NotImplementedError, "need to define `succ'" end