[PPL-devel] ppl/tests randchull1.cc