EFX_MAX_PACE_VALUE
for (pace_val = 1; pace_val <= EFX_MAX_PACE_VALUE; pace_val++) {
if (pace_val > EFX_MAX_PACE_VALUE) {