encodings now more high-level