adding ipv4_addr_of_uint32 on socket backend