GC_hidden_pointer  770 gc/include/gc.h     typedef GC_word GC_hidden_pointer;
GC_hidden_pointer   39 gc/include/private/dbg_mlc.h     typedef GC_word GC_hidden_pointer;