half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxhalf100s1lastbit1conv1cons2nil0INNERMOST./TRS/AG01/#3.42.trs