Just thought I'd add a note. Found the problem. The real cause was a damaged pointer (isn't that always the problem in C), but it was hidden by the buffering in Serial.print(). Found it eventually by putting in some delays to allow the Serial buffer to flush so I could spot where the real problem was. Lesson for me is to make allowances for timing when doing debugging.