//
// $Copyright_v6PC$
//
// $Copyright$
//
// $Name:  $
//
// $TAHI: ct/spec/RH_RoutingTypeNonZero.def,v 1.9 2004/04/02 03:47:51 kenta Exp $
//

//
// Network topology
//   TN(link0)        NUT         TN(link1)
//     Host1 -----> Router1 -----> Router2 -----> Router3 -----> Host2
//            H1R1           R1R2           R2R3           R3H2
//        NET_GLOBAL0    NET_GLOBAL1    NET_GLOBAL3    NET_GLOBAL5  
//

#define H1_H1R1_ADDR TN_GL0_ADDR
#define R1_H1R1_ADDR NUT_GL0_ADDR
#define R1_R1R2_ADDR NUT_GL1_ADDR
#define R2_R1R2_ADDR TN_GL1_ADDR
#define R2_R2R3_ADDR v6(_GLOBAL3A0N_UCAST_ADDR)
#define R3_R2R3_ADDR v6(_GLOBAL3A1N_UCAST_ADDR)
#define R3_R3H2_ADDR v6(_GLOBAL5A0N_UCAST_ADDR)
#define H2_R3H2_ADDR v6(_GLOBAL5A1N_UCAST_ADDR)

#define RH_TO_LINK0	rh_H1_to_R1_Invalid
#define RH_FROM_LINK1	rh_R1_to_R2
#define RH_TO_LINK1	rh_R2_to_R1
#define RH_FROM_LINK0	rh_R1_to_H1

#define TN_LINK0_ROUTER	0
#define TN_LINK1_ROUTER	1

#include "./RH.def"

Hdr_Routing rh_H1_to_R1_Invalid {
	//NextHeader = 58;
	NextHeader = 59;	// No Next Header
	//HeaderExtLength = 6;
	//RoutingType = 0;
	RoutingType = 1;	// Invalid value
	SegmentsLeft = 3;
	//Reserved = 0;
	Address = R2_R1R2_ADDR;
	Address = R3_R2R3_ADDR;
	Address = H2_R3H2_ADDR;
}

FEM_icmp6_parameter_problem(
	icmp_type4_code0,
	_HETHER_nut2tn,
	{
		_SRC(NUT_GL0_ADDR);
		_DST(H1_H1R1_ADDR);	// NOT TN_GL0_ADDR!
	},
	{
		Code = 0;	// erroneous header field encounted
		Pointer = 42;	// (40 + 2)
		payload = any;
//		payload = err;
	}
)

Payload err {
	data = right(_PACKET_IPV6_NAME(packet_to_link0), 0);
}