IPv4 is readily available and not very expensive. DPRK can just buy or lease them.