How many bits are used in the IPv4 address space?