half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxhalfssxhalfxlastbitssxlastbitxconvsxlastbitsxconvsxhalfsxconvsxconvhalfsxtrueconvsxconvhalfsxtrue1conv1410s1218half1110004convsxconvhalfsxhalf00halfs00halfssxshalfxhalf00convsxconvhalfsxfalseconvsxhalfsxfalsehalfssxhalfxtruehalf11convsxlastbitsxfalselastbitssxlastbitxtruelastbit11