Fri May 18 14:14:52 CEST 2007

non-linear memory


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.