NAME

        rfc2765_3.1_options.seq - Verify IPv6 <-> IPv4 header 
        translation in accordance with RFC2765 [SIIT]

TARGET

        Router

SYNOPSIS

        rfc2765_3.1_options.seq [-tooloption ...] 
        -p rfc2765_3.1_options.def

INITIALIZATION

	Before this test starts, run initialize.seq.

TEST PROCEDURE

        This test verifies that NUT ignores IPv4 header options (except 
        unexpired Source Route options, which are not tested here.)
        
        Network Topology

        Link0
        --------------------------
            |               |
           TN              NUT
            |               |
        --------------------------
        Link1

        TN -- (Link0) -- NUT        NUT -- (Link1) -- TN
        
        ---------------------      ------------------------

        1.1.[1-6].
                                   <===================
        ICMPv4 Echo request
                IPv4 Header
                        src address : TN LINK1 IPv4 address
                        dst address : TN LINK0 IPv4 address
                        Don't Fragment = 1
                        More fragments = 0
                        Offset = 0
                        Option = Timestamp
                              or Record Route
                              or Loose Source Route (Route expired)
                              or Loose Source Route (NUT is last step)
                              or Strict Source Route (Route expired)
                              or Strict Source Route (NUT is last step)
                ICMPv4 echo request

        1.2.[1-6].
        <<JUDGMENT>>
        <===================
        ICMPv6 Echo Request
                IPv6 Header
                        src address : TN LINK1 IPv4 embedded IPv6 address
                        dst address : TN LINK0 IPv4 embedded IPv6 address
                ICMPv6 echo request

        2.1.1
                                   <===================
        ICMPv4 Echo request
                IPv4 Header
                        src address : TN LINK1 IPv4 address
                        dst address : NUT LINK1 IPv4 address
                        Don't Fragment = 1
                        More fragments = 0
                        Offset = 0
                        option = Timestamp
                        option = NOP
                        option = Loose Source Route (Route expired)
                        option = NOP 
                        option = Strict Source Route (NUT is last step)
                        option = NOP
                        option = Record Route
                        option = End of OptionList
                        Padding = 0;
                        Padding = 0;
                        Padding = 0;
                ICMPv4 echo request

        2.2.1.
        <<JUDGMENT>>
        <===================
        ICMPv6 Echo Request
                IPv6 Header
                        src address : TN LINK1 IPv4 embedded IPv6 address
                        dst address : TN LINK0 IPv4 embedded IPv6 address
                ICMPv6 echo request

JUDGMENT

        << PASS >>
                NUT ignores all options and translates the echo request.

        << FAIL >>      
                NUT doesn't translate the ICMPv4 echo request to 
                ICMPv6 echo requests.

NOTE

REFERENCE

RFC2765

3.1. Translating IPv4 Headers into IPv6 Headers

   If IPv4 options are present in the IPv4 packet, they are ignored
   i.e., there is no attempt to translate them.  However, if an
   unexpired source route option is present then the packet MUST instead
   be discarded, and an ICMPv4 "destination unreachable/source route
   failed" (Type 3/Code 5) error message SHOULD be returned to the
   sender.