ICMPv6 definitions.