half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxrandxxrandxrandsxs1lastbit1half100cons2rand1conv1nil0FULL