Create an IPv4-mapped IPv6 address from an IPv4 address.
address_v6 make_address_v6( v4_mapped_t , const address_v4 & v4_addr);