encode/decode in Clang