ICMP6_ROUTER_RENUMBERING_RESULT
{ ICMP6_ROUTER_RENUMBERING_RESULT, "result" },
#ifndef ICMP6_ROUTER_RENUMBERING_RESULT