Update encode_util.hpp