Forgot to commit one file

				ipv6Payload :=  *

			}

			template BindingUpdate mw_bindingUpdate_srcDst(

													UInt8 p_nextHeader,

													template Ipv6Address p_src,													

													template Ipv6Address p_dst,

													template ExtensionHeaderList p_extHdrList ) := {

				ipv6Hdr := mw_ipHdr_nextHdr_srcDst(p_nextHeader, p_src, p_dst),

				extHdrList := p_extHdrList,

				ipv6Payload :=  *

			}

			template MobileMessage mw_bindingUpdateMsg(	UInt1 p_aFlag,

													UInt1 p_hFlag,

													UInt1 p_lFlag,