Precisely. Since C space has no type information you have to conservatively assume that everything can be a pointer.
I think we are misunderstanding each other? I don't think a Boehm style GC can do compaction, since you cannot modify the "pointer", hence you have to "pin down" the object it possibly points to (to prevent it from moving)?
