Big1
word1(&rv) = Big1;
word1(&rv) = Big1;
word1(&rv) = Big1;
if (word0(&rv) == Big0 && word1(&rv) == Big1)
if (word0(&rv) == Big0 && word1(&rv) == Big1)
if (word0(&rv0) == Big0 && word1(&rv0) == Big1)
word1(&rv) = Big1;