Tiny1 2458 util.c word1(rv) = Tiny1; Tiny1 2761 util.c if (word1(rv) == Tiny1 && !word0(rv)) Tiny1 2841 util.c if (word0(rv0) == Tiny0 && word1(rv0) == Tiny1) Tiny1 2844 util.c word1(rv) = Tiny1;