fin.cast_succ source