PAGE_ALIGNED     2835 gc/os_dep.c    	  GC_ASSERT(PAGE_ALIGNED(len))
PAGE_ALIGNED     2836 gc/os_dep.c    	  GC_ASSERT(PAGE_ALIGNED(start))
PAGE_ALIGNED     2844 gc/os_dep.c    	    GC_ASSERT(PAGE_ALIGNED(current));
PAGE_ALIGNED     2856 gc/os_dep.c    	      GC_ASSERT(PAGE_ALIGNED(hhdr -> hb_sz));