CCSDS encoder/decoder