Tiny0 2457 util.c word0(rv) = Tiny0; Tiny0 2841 util.c if (word0(rv0) == Tiny0 && word1(rv0) == Tiny1) Tiny0 2843 util.c word0(rv) = Tiny0;