let pred = pred_big_int