Do the dynamic pools contain the correct range of addresses? Is there any overlap between dynamic pools? Is there any overlap between addresses used for static mapping and the addresses in the dynamic pools? Do the access lists specify the correct addresses to be translated?