Re: [PPL-devel] Hash code for PPL objects