martin rudalics <rudalics@gmx.at> writes:

> I attach a preliminary patch.

Your patch allows the following additional change, right?