(For precision we precede each use of certain technical terms with a period. For sanity we give these informal definitions)

A binder consists of a set of blocklists, a set of external dummy sections {"pseudoregister vector"}, and an array of references to blocks. A binder is either constant or variable. Independently, the set of external dummy sections is either frozen or not.

An l-segment is a memory key that makes the data parts of a set of .allocated blocklists accessible to memory references, at their appropriate addresses. L-segments come from L-seg factories which come from binders {(mlseg)}.

Binder factory operations

Binder operations