alloc_hdr         146 gc/headers.c       GC_invalid_header = alloc_hdr();
alloc_hdr         210 gc/headers.c       result = alloc_hdr();