used magic_encoding