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

FEM_dhcp6_information_request(
        information_request_client1_to_alldhcp_invalidUDP,
        _HETHER_client1_to_alldhcp,
        {
            _SRC(CLIENT1_LLOCAL_UCAST);
        _DST(v6(_ALLDHCPAGENTS_MCAST_ADDR));
        },
        {
                _SPORT(546);
                _DPORT(33536);
//                _DPORT(547);
        },
        {
                Identifier = ID_INFOREQ;
                option = opt_CID_LLT_client1;
                option = opt_ORO_dns_servers;
                option = opt_ElapsedTime;

        }
)
//----------------------------------------------------------------------
// 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;
        }
)