(or there would be no other way to know which file is being modified with a mmap() or write() call)