1Given that the pointer target of xNetworkDescriptor.pucEthernetBuffer is allocated
2to the size claimed in xNetworkDescriptor.xDataLength,
3this harness proves the memory safety of ARPGenerateRequestPacket.