#include "../DHCPv6.def" 
#include "DHCPv6_test.def"

FEM_dhcp6_reply(
	reply_server1_to_nut_invalid_udp,
	_HETHER_server1_to_nut,
	{
	_SRC(SERVER1_LLOCAL_UCAST);
	_DST(NUT_LLOCAL_UCAST);
	HopLimit = 1;
	},
	{
		_SPORT(551);
		_DPORT(33536);
//		_DPORT(546);
	},
	{
//		option = opt_CID_LLT_nut;
		option = opt_SID_LLT_server1;
		option = opt_DNS_Name_Server1;
		Identifier = ID_REP;
	}
)
//----------------------------------------------------------------------
// Destination Unreachable data
//----------------------------------------------------------------------

FEM_icmp6_destination_unreachable(
	dst_unreach,
	_HETHER_any,
	{
		_SRC(NUT_LLOCAL_UCAST);
		_DST(any);
		PayloadLength <= 1240;
	},
	{
		Code = 4;
//		payload = err;
		payload = any;
	}
)