use uint32 for IP addresses