void pvec(long[],long);

.