A pointer that uses type information to inform the GC about what things could possibly be pointers, and what can just be ignored.

Values that the precise-on-heap Boehm collector can understand.

The size of the words understood by the GC, in bits.

Construct a tracing descriptor out of the bitmap, which should be true for each word that is possibly a pointer.