1The proofs in this directory guarantee together that 2ARPRefreshCacheEntry is memory safe independent 3of the configuration value of 4ipconfigARP_STORES_REMOTE_ADDRESSES. 5