inlined encodings