add header comment for dirty_random_mapping()