(string *
Pxp_reader
.resolver) list
->
Pxp_reader
.resolver