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