half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxhalfssxhalfxlastbitssxlastbitxconvsxlastbitsxconvsxhalfsxconvsxconvhalfsxtrueconvsxconvhalfsxtrueconvsxhalfsxfalsehalfssxhalfxtrue1half1118cons201020nil00conv1010lastbit12112s1118half12100010convsxlastbitsxfalselastbitssxlastbitxtrue1lastbit1118cons201020nil00conv1010lastbit12112s1118half12100010