Big0             2370 util.c                             word0(rv) = Big0;
Big0             2387 util.c                         word0(rv) = Big0;
Big0             2407 util.c                         word0(rv) = Big0;
Big0             2811 util.c                         if (word0(rv0) == Big0 && word1(rv0) == Big1)
Big0             2813 util.c                         word0(rv) = Big0;