half 0 0 half s 0 0 half s s x s half x lastbit 0 0 lastbit s 0 s 0 lastbit s s x lastbit x conv 0 cons nil 0 conv s x cons conv half s x lastbit s x rand x x rand x rand s x s 1 lastbit 1 half 1 0 0 cons 2 rand 1 conv 1 nil 0 FULL