A method for scanning objects as for garbage collection is described that
employ an ancillary data structure to describe the format of an object.
Specifically, the data structure lists which parts of the object are
references and how large each part of the object is. Scanning the object
can efficiently occur by stepping through the object and the data
structure in parallel.