half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxhalfssxhalfxlastbitssxlastbitxconvsxlastbitsxconvsxhalfsxconvsxconvhalfsxtrueconvsxconvhalfsxtrue1conv1410s1218half1110004convsxconvhalfsxhalf00halfs00halfssxshalfxhalf00convsxconvhalfsxfalseconvsxhalfsxfalsehalfssxhalfxtrue1half1119s1411convsxlastbitsxfalselastbitssxlastbitxtrue1lastbit1119s1411