PHT_SIZE         3103 gc/os_dep.c        for (i = 0; i < PHT_SIZE; i++) pht1[i] |= pht2[i];
PHT_SIZE         3117 gc/os_dep.c            for (i = 0; i < PHT_SIZE; i++) GC_written_pages[i] = (word)(-1);