[Lightning] Implicit allocations

[Sandro Magi]

Does GNU Lightning perform any malloc calls or other allocations
anywhere in its code paths, or are all memory buffers provided
explicitly by the client using Lightning?

I'm researching resource-aware VMs, in which all resources including
memory, are accounted for and booked to executing agents. If Lightning
allocates memory "behind the scenes", then I will need to take this
into account.

Sandro