Symbol: PT_HAVE_ACCESSED_DIRTY