Tiny1 2463 util.c word1(rv) = Tiny1; Tiny1 2766 util.c if (word1(rv) == Tiny1 && !word0(rv)) Tiny1 2846 util.c if (word0(rv0) == Tiny0 && word1(rv0) == Tiny1) Tiny1 2849 util.c word1(rv) = Tiny1;