I won't say "no way", but I think I would have to see an
implementation which "does the right thing" in all the cases before I
could be confident that it is possible. Some people think this is an
easy problem, but I think it is hard. I am not sure that it is
possible to meet all of these requirements. An implementation which
does so would prove it is possible.