IntToBinary encodes i into a byte slice as uint32.

Length calculates length of padding for given nonce and key in range [0:maxlen).

Pad prepends padlen zero bytes to pt.

Uppad removes first padlen bytes of paddedpt.