Translating xsl to pxsl (continuing c4fd36c)