ip4_string
p = ip4_string(p, &in6.s6_addr[12], "I4");
ip4_string(ip4_addr, addr, fmt);
p = ip4_string(ip4_addr, addr, fmt4);