let
succ = succ_big_int