produces output when encoding. output may be correct, but correctness
of output has not been verified.