convert print_IPaddr() to %pI4