tests 0 true tests s x and test rands rand 0 nil x test done y eq f y g y eq x x true rands 0 y done y rands s x y rands x :: rand 0 y rand x x rand x rand s x true 0 rands 2 done 1 and 2 rand 1 g 1 nil 0 s 1 eq 2 :: 2 tests 1 f 1 0 0 test 1 FULL