Quick question regarding indirection cells...

[Philip Wadler]

> Pehaps they do, but note that the Clean implementation avoids
> generating indirection nodes alltogether. Nodes get overwritten
> by their result, not by indirections to it.

What happens when the overwiting structure is bigger than
the cell to be overwritten?  (Assumptions: an application cell
is a fixed size, and a constructor cell has at least one pointer
for each field of the constructor.)   -- P