half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxhalfssxhalfxlastbitssxlastbitxconvsxlastbitsxconvsxhalfsxconvsxconvhalfsxtrueconvsxconvhalfsxtrueconvsxhalfsxfalsehalfssxhalfxtruehalf11convsxlastbitsxfalselastbitssxlastbitxtruelastbit11