Verify simu_int_pred.c.