Documenting prefetch