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