I do not see any envlpxr opcode in the sources.  Which manual pages
are you using?