I'm not sure this diagnosis is correct, and so perhaps neither is the solution.Symbols can be longer than 256 bytes.ok, then something else is wrong maybe. Nevertheless my change did result in disappearance of the error.
It only hides the real error which is that in several places 256 char buffers are passed for printing symbols and no length checks are done.
I've fixed these and will commit soon.