A few codecs for our uses