a couple of more encodings