Problem has been found and fixed. A wild pointer was created,
and what happened afterwards was essentially random. Below the
1-symbol fix that I sent to the list yesterday.