A Farewell to ARPs: IPv4 Service on IPv6-Only Networks