let
pred = pred_big_int