Fri May 18 14:14:52 CEST 2007
lists + packets are managed -> cannot contain circular structures.
pointers are not managed
=> code is not managed
=> dictionary is not managed
assume: dictionary is persistent:
pointers to list structures (data not in dict) can be void
-> only used in isolated lowlevel words
LIN/NLIN separation requires that pointers, which can only point to
nonlinear data, are accessible from the root, so they can be GCd by
the nonlinear part.