>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes: Eli> So I would suggest to do this: Please look at the newest patch and let me know what you think. It's simpler and, IMO, more obviously correct, since there are no casts. Tom