Encoding and decoding work; extensions seem to work