note on encoding of length.