>>492
succ/pred という処理系があるのを知らんようだな