1The proofs in the subdirectories show that
2ARPProcessPacket is memory safe independent
3of the configuration value of
4ipconfigARP_USE_CLASH_DETECTION.