Removed useless "encode_char" function