FUZZ
delta3 = FUZZ;
if (delta3 > FUZZ || delta3 < -FUZZ) {
"allowable fuzz %lld", delta3, FUZZ);
if (delta3 < FUZZ)