half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxconv0consnil0convsxconsconvhalfsxlastbitsxhalf100s1lastbit1conv1cons2nil0FULL./TRS/AG01/#3.42.trs