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);