PREF_DIST         757 gc/mark.c      	  PREFETCH((ptr_t)limit - PREF_DIST*CACHE_LINE_SIZE);
PREF_DIST         786 gc/mark.c              PREFETCH((ptr_t)current_p + PREF_DIST*CACHE_LINE_SIZE);