Rule RCV	(pass the packet to the application):
	if (packet.D == my_address $\left|\right|$ packet.D == 0) {
	receive (packet);
	}
	return packet.D == my_address ? SUCCEED: FAIL;