Eli Zaretskii <eliz@gnu.org> writes:

> > Yes - but independent of that I think we want to switch printing using
> > `prin1'.