I'll see if I find the time. However, it seems that nothing can wrong here as long as there are no multibyte characters involved, which is rather rare. I could imagine that a bug here could remain unnoticed for some time.