[m-rev.] for review: convert parse trees to strings

[Julien Fischer]

On Tue, 31 Oct 2023, Zoltan Somogyi wrote:

> The diff is long and boring.

Yep ;-)

> While I would appreciate a review of it,
> I don't expect one. For anyone who does want to look at it, it contains
> three ZZZs that I intend to address before commit. (Addressing those
> now would have made the diff harder to review.)

The diff is fine; I'll look at the proposal for the new pragma
separately.

Julien.