Create an IPv4-mapped IPv6 address from an IPv4 address.

address_v6 make_address_v6(
    v4_mapped_t ,
    const address_v4 & v4_addr);